Documents OCR: Improving Efficiency by Making PDFs Searchable | Hacker News Reader