texi2html 1.82 -> 5.0