the download includes all the .md files for the documents, as well as the html versions. if you spend some time getting used to pandoc you could very quickly make a pdf that combines all of them! some people have also had good experiences importing the content into obsidian.