It looks like texinfo 6.8 inserts: <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" " http://www.w3.org/TR/html4/loose.dtd">
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. -- Ray