Off-topic: Arabic/Hebrew demonstrate how the vowels can become almost optional extras except for ambiguous situations, but ẞ is there for ambiguous situations too. Perhaps it should "melt away" in the same way that a vowel does; being entirely what is expected it won't be seen.
Bruno: whatever the outcome this should make an excellent conference talk in the long-run ("How I Learned to Stop Worrying and Love the German Eszeet")!
Off-topic: Arabic/Hebrew demonstrate how the vowels can become almost optional extras except for ambiguous situations, but ẞ is there for ambiguous situations too. Perhaps it should "melt away" in the same way that a vowel does; being entirely what is expected it won't be seen.
Bruno: whatever the outcome this should make an excellent conference talk in the long-run ("How I Learned to Stop Worrying and Love the German Eszeet")!