Although it looks nicer, texinfo is a bit buggy in Html too. Some of the text is missing and it sometimes prints in the Html document the contents of @menu... @end menu.
I'll pose this a question to the texinfo help site. But texinfo seems beyond buggy to me.