Re: Divergence in menu appearance between Emacs Info and standalone Info

[Richard Stallman]

    Yes, this was added to Texinfo (makeinfo, info.el) a little while ago,
    implemented by address@hidden, and will be in the next release of
    Texinfo and Emacs.  As for documentation, I wrote about it in
    texinfo.txi.  It didn't seem like any documentation for info readers was
    needed -- it just happens.

We need to document the format in info.texi.