htmldoc: 1.8.27 -> 1.8.28