[criddell]

There’s a similarly named html -> pdf tool called htmldoc:

https://www.msweet.org/htmldoc/

It’s crazy fast, but doesn’t handle Unicode well or have much support for CSS.