Man vs. AI: optimizing pdf.js JavaScript function | Hacker News Reader