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

[Karl Berry]

    Karl, do you remember what was the precise case where this change
    was required?

Some other kind of HTML markup was creeping into <title>, which is
supposed to just contain text.

I just tried it and accent entities are ok, though.