Ask HN: Good tools for text extraction from PDF | Hacker News Reader