> On 29 May 2018, at 14:47, Arthur Reutenauer <arthur at 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.