Little of topic. What would be nice is to have something like "print to pdf, aka save page as pdf" via a browser using pdfjs.
On iOS, Apple disabled the API for local virtual printers. There are various "html-to-pdf" apps, but these often perform a non-interactive fetch of the source web page, which use different auth/cookies and can result in a PDF which is different from the one displayed by Safari.