HTMLDOC 1.9.4 fixes a font sizing bug and reduces startup time.
Changes include:
- Inline fixed-width text is no longer reduced in size automatically
(Issue #309) - Optimized initialization of font width data (Issue #334)
Enjoy!
(Source archives updated Jan 17, 2019 to include htmldoc-1.9.4/ subdirectory prefix, sorry folks!)