On Sun, Apr 27, 2025 at 07:22:40PM -0700, Eric Biggers wrote: > Nor does it actually do Unicode casefolding > (https://www.unicode.org/Public/16.0.0/ucd/CaseFolding.txt), but rather > Unicode normalization which is more complex.
Do you mean to say that we invented yet another incompatible unicode casefolding scheme? Dear god, why?