A lot of people sent me manuals for scanning. For a while I worked at a company that could scan a double sided page in a half a second! It was nothing to scan a 800 page manual, but lot of time to crop each page and bookmark them. Then each page was converted to a jpeg and emailed to Rudi by the hundreds some nights so people with dial up could have fast access to the page needed and that is how we share pages in posts.
The pdfs with "OCR" in the title were set up with Optical Character Recognition and are searchable (not perfect, but not bad). Those pages were all cropped and the booked were bookmarked for easy navigation and with newer technology the resolution is better and file size smaller. Still a lot of bookmarking to do. It is great that Dennis is hosting them. I don't have to mail as many CDs as I used to.