On Wed, Mar 08, 2023 at 06:50:03PM +0200, Eli Zaretskii wrote: > > 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?
A classic example is that the upper case of i may be İ in Turkish although I don't know more than this.