Re: inconsistent spaces in menu and in node and @-commands

[Gavin Smith]

On Fri, Aug 19, 2022 at 03:01:53PM +0200, Patrice Dumas wrote:
> The code did not follow the HTML Cross-reference Node Name Expansion
> 'Multiple consecutive space, tab and newline characters are transformed
> into just one space.'  This is a good thing, in my opinion, to follow
> that rule, as that way the HTML cross-references and Info cross
> references are consistent.  It should be fixed now.

Ok good.

> We could make it explicit in the manual, in node 'Node Line
> Requirements', by adding to the different possibilities on spaces in
> nodes a possibilities with @-commands, such as 
>  
>    @node @  foo @: @* bar,
> 
> I think that we should not, keeping the possibility open to do things
> differently.  I put a comment in the manual.

I'm keen that we don't clutter up the manual with this kind of thing.
There's no good reason to use @* or "@ " in node names and @: should be
very rare.