> Date: Wed, 8 Mar 2023 16:40:26 +0100
> From: Patrice Dumas <pertu...@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?
