could you provide the option to view or download your documentation (https://docs.fedoraproject.org/) as a pdf file? As modern documentation generator can hande html and pdf simultaneously this could be done quite easy (at least in my naive optimistic imagination).
We have recently changed both the source markup of the content and the tools used to generate html from that content. Our current publishing process does not produce PDFs.
You are correct that tools exist that would produce a PDF, however it would be non-trivial to adapt our new build tools to build PDFs, and present links for them. This feature is not currently on the roadmap, we have many other things to work on first.
The sources for the documentation are indexed at https://pagure.io/group/fedora-docs, you are welcome to produce PDFs from them.