How many websites use PDF files? | Hacker News Reader