Are PDFs Getting Bigger? Analyzing PDF File Sizes from 2006–2025 | Dark Hacker News