PDF export

[dumblob]

Any plans to add PDF export? If not directly, then at least a "print CSS".

Potentially useful links:
https://gitlab.coko.foundation/pagedjs
https://github.com/ashok-khanna/pdf
https://printcss.live/ (playground to test different JS libraries meant for printing from web)

[quolpr]

Check #244 (comment) about maintance info

[dumblob]

Ok, understood. Feel free to close or leave it open for potential contributors.