[spec] IRIs, IDNs, and all that international jazz

[Petite Abeille]

> On Dec 26, 2020, at 17:12, Solderpunk <solderpunk at posteo.net> wrote:
> 
> People are free to shutdown their servers whenever they want, whyever
> they want.  

Agree.

> There's no need to taunt them for it.

There is a qualitative difference in publicly "threatening" to do so: one can always move on quietly.

>  Please just let it go.

Water under the bridge.