Re: I: Little bug in Texinfo 4.0 (HTML output)

[Karl Berry]

    So it seems we need to know what markup is *verboten* in <title>, and 
    then arrange for some flag that would prevent that markup from being
    produced.

Everything but entities.  No <commands>.