Some users asked for a PDF version of the docs, we could try to convert markdown files to pdf using pandoc.