Export docs as PDF

[volpatto]

Check if it would be possible to export the Docs website as pdf files. Some ideas:

• https://github.com/orzih/mkdocs-with-pdf
• https://github.com/comwes/mkpdfs-mkdocs-plugin
• https://github.com/timvink/mkdocs-print-site-plugin

Only the last one is being updated recently.