FYI, I pushed a commit (1270f12) which drops the usage of texi2html (which is unmaintained), and which replaces is by texi2any (which is actually an alias for makeinfo, from the texinfo package).

This concerns the generation of the HTML version of the reference manual, in particular the displaying of math formulas (which are images generated by latex2html, which is called by both texi2html and texi2any).

Normally this change should have no visible impact, but if you notice a problem with the HTML manual, it may have to do with this change.

--