It looks like texinfo 6.8 inserts:
at the beginning of each html file.
In this day and age, shouldn't it be just <!DOCTYPE html>? Or does texinfo html output really need that?
I'm not a web dev but a few times I wrote web pages, my old emacs would insert the loose.dtd lines, and reviewers would say I shouldn't. It should be the simple one.
--