Jan-Benedict Glaw wrote:
They surely could OCR scanned PDFs, but I'm not
sure if they
will do that.
I can assure you that they HAVE been doing that on bitsavers
content for over a year. That was one of the reasons I decided
to start converting the content. People were contacting me wondering
why the OCRed version wasn't on line.