Saving web pages as PDFs in 2019, a real challenge | Hacker News Reader