PDF export

The PDF export of panels relies on Puppeteer. If the PDF export does not work out of the box, some platform-specific installation steps might be necessary. Please refer to the Puppeteer documentation (WSL, Docker, ...).