Somewhat OT: Google Indexing OCR'd PDFs