cfg2html 2.80 backports