don't expand @ifinfo anymore ?

Hi,

Currently texi2html expands @ifinfo sections. I believe this is so in 
order to cope with manuals including within @ifinfo things which appears
only in info, but which are also relevant in html, like the Top node.

I think that it is bad. It would be much better to use @ifnottex (or
sometimes @includecopying) and keep @ifinfo for things really reserved for
info.

What do you think about that ?

Pat