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

[Eli Zaretskii]

> 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.