Simon Riedener

If the Chrome browser is configured to directly download the PDF instead of displaying it, the document is stored correctly (but with the ugly name "Download.pdf") and can be opened...

@bahron83 : Thanks for the offer to prepare a pull request to improve our Docker build. I think this will be a very useful improvement to this project. Please send...