Re: [bug #43042] Texinfo manual typo and improvement in info node 'Node Line Requirements'

[Karl Berry]

Referring to ...
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=1830
https://savannah.gnu.org/bugs/?43042

And the manual text:

    ... In contexts
    +where the exact node name is required (for example, in a menu entry),
    +this is the name that that should be used, i.e.@: with no leading or
    +trailing spaces, and a single internal space.

Is there any context besides menu entries where the node name is not
normalized?  makeinfo normalizes them in cross-references.  In
principle, I rather think it should happen in menus too.  What was the
argument for not doing so?  Not that it's a big deal.

Thanks,
k