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

[Omar Polo]

Petite Abeille <petite.abeille at gmail.com> writes:

>> On Dec 26, 2020, at 01:28, Omar Polo <op at omarpolo.com> wrote:
>> 
>> Not really.  I don't know basically anything about punycode so I can't
>> comment on that, but IRI allows percent encoding too.
>
> Surprise me. Here is my IRI: 
>
> gemini://🎭/👹.gmi 
>
> Show me your URI, and then, justify why it a good thing for me.

Sorry, I wasn't saying that gemini://🎭/%F0%9F%91%B9.gmi [0] is better
than gemini://🎭/👹.gmi (it is not).  Rather, than even with
IRIs you don't want to delete the percent-decoding code in your parser.

[0]     idn2 refuses to punycode 🎭 :/