I was also startled when python did ß.upper() returns "SS". Which is kind of unsuspected in some cases (if string length changes with an upper call)

That's in the standard. https://www.unicode.org/reports/tr21/tr21-5.html

[SpecialCasing] Contains additional case mappings that map to more than one character, such as "ß" to "SS".