> On 29 May 2018, at 14:47, Arthur Reutenauer <art...@reutenauer.eu> wrote: > >> The main point is what users of ẞ and ß would think, and Unicode to adjust >> accordingly. > > Since users of ß would think that in the vast majority of cases, it > ought to be uppercased to SS, I think you’re missing the main point.
No, you missed the point.