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

[Eli Zaretskii]

> Date: Wed, 8 Mar 2023 16:40:26 +0100
> From: Patrice Dumas <pertusus@free.fr>
> 
> Hello,
> 
> Right now, as seen in "HTML Cross-reference Command Expansion"
> 
>  For @sc, any letters are capitalized.
> 
> I'd like to change that for 3 reasons
> * what capitalization means could differ for locales

Not for ASCII characters, right?

> * how this capitalization applies to @sc arguments is not well defined

You mean, what happens with upper-case characters?  Or what do you
mean?

> * it adds unnecessary complexity and ambiguity
> 
> What do you think?

You are basically suggesting to make @sc a no-op in HTML output?  So,
for example, "@sc{gnu}" will produce "gnu"?  Is that reasonable?