> For example, in the Texinfo manual, in relatively recent times, even I
> (one of the strongest proponents of node=section) chose to make some
> names different:
>
> Node: HTML Xref Configuration
> 22.4.6 HTML Cross-reference Configuration: 'htmlxref.cnf'
>
> It just seemed too verbose and useless to me to write the whole thing
> out in the node name, yet the information could be usefully present in
> the section name. There are a number of cases (in various manuals) where
> the section name is "<nodename>: <extra info>", if you know what I mean.
Yes: suppose you want to make a cross-reference to this node; it is
much easier to write @xref{HTML Xref Configuration} than @xref{HTML
Cross-reference Configuration: @file{htmlxref.cnf}}.
