That mistake has been fixed: ẞ It was terrible because you could get all 3 choices in a lowercase usage (s, ss, ß) and then lose that distinction when capitali

That mistake has been fixed: ẞ It was terrible because you could get all 3 choices in a lowercase usage (s, ss, ß) and then lose that distinction when capitalizing. You couldn't reliably uncapitalize such words unless somebody disobeyed the rules by leaving the ß unmolested. Lingering affects will be with us for ages, for example in the rules that computers use to do sorting and searching. The default capitalization rules for Unicode can't really change because that would break somebody's database or filesystem.