Re: do not upper case @sc argument in HTML cross manual Cross References

[pertusus]

On Wed, Mar 08, 2023 at 10:16:02PM +0200, Eli Zaretskii wrote:
> > From: Gavin Smith <gavinsmith0123@gmail.com>
> > Date: Wed, 8 Mar 2023 20:11:02 +0000
> > Cc: Patrice Dumas <pertusus@free.fr>, bug-texinfo@gnu.org
> > 
> > It is to affect URLs, not for the main text of the document that the user
> > would read.
> 
> If it's _only_ for URLs, then it could be OK.  But beware of clashing
> due to case differences that will have disappeared because of this
> change.

Indeed, following this change, the following two nodes will clash while
they did not before

@node my node

@node my @sc{node}

However, I consider it better if the two nodes clash.

-- 
Pat