I really like the efforts towards the PDF export, but have a few comments to hopefully improve it further. I searched for open issues for the export, but didn't find one which addressed the export PDF.

• Dont' link to online version from the PDF, instead transform links to work inside the PDF
• Use the collective's name for the PDF file name and in the top-left corner of pages
• Show who last edited the respective pages (this is more of a feature request I guess)
• Align images and text better (on the left), see screenshot from export PDF