I doubt they're using OCR. More likely they're using one of the many text extractors available for PDFs. https://stackoverflow.com/questions/3650957/how-to-ext

I doubt they're using OCR. More likely they're using one of the many text extractors available for PDFs. https://stackoverflow.com/questions/3650957/how-to-extract-text-from-a-pdf https://stackoverflow.com/questions/3650957/how-to-extract-t...