We need an PDF export for help texts, both for single pages and also as one big manual containing all pages