Re: a new release ?

> Might be worth an issue, but I don't think this should stop a release. 

Of course not. These are dubious constructs and in fact I think that 
texi2html could even be allowed not to handle them.

> The footnote should probably be ignored, probably with a printed warning 
> message.

> This should probably be ignored with a warning too.  In your particular 
> example, there is some sense in just inverting the tag order, but this 
> is hardly the general case.

Indeed. And it is not obvious to handle that.

As makeinfo processes it I don't think the default should be to ignore it.
I think that most browser (if not all) will have no problem with that 
html. Maybe what we could do is issue a warning. And also have a command line 
switch for people wanting strict html, and in that case only ignore the
@footnote or the @verbatim. What do you think about that ?

Pat