+ we will have an empty bullet with texi2html since it will
never get upgraded.
As I understand it, texi2html will still be updated, more or less. But
not before texinfo, so it doesn't help you.
I could put it on our internal machines that generate the html.
Another, perhaps less-intrusive solution, would be to post-process out
the bullet with sed/perl/whatever.
Of course, any testing against the development version would be
appreciated. I hope we'll make at least a prerelease in the
not-impossibly-distant future ...
Best,
Karl
