GDP.pdf: A Benchmark for Parsing PDFs | Hacker News Reader