You can also try to make one yourself using [wkhtmltopdf](https://wkhtmltopdf.org/) or [Pandoc](https://pandoc.org/). In theory, Pandoc might give you a nicer-looking PDF, but it requires XeLaTeX, and a simple command `pandoc --latex-engine=xelatex -o docs.pdf docs.html *html` didn't work (XeLaTeX told me that line 150913 of the generated `*.tex` file contained an invalid character).