incorrect html cross references

[Alfred M\. Szmidt]

Hi,

Dunno if I reported this already...  Given the following

@menu
* Foo Bar: (foobar).
@end menu

then texi2html generates strange cross references:

<li><a accesskey="1" href="#g_t_0028foo_002dbar">Foo Bar</a>

I have a vauge recollection that texi2html does the right thing, but
makeinfo --html does not.  It only breaks in conjuction with
--no-split, where as --split will do the right thing.

Cheers.