Why not extend do to allow unicode in ID's?

[Timon Gehr]

On 02.07.19 11:10, Martin Krejcirik wrote:
> On Monday, 1 July 2019 at 23:52:25 UTC, Bert wrote:
>> It's time to grow up? How can progress be made if we don't progress. 
>> 99% of all modern text editors support UTF-8... with your logic we 
>> could say that ascii characters only complicate
> 
> Editors maybe, but what about keyboards ? Can you easily write my name 
> (Krejčiřík) without copy and paste or character selector tool ?

Of course. I can easily write this even on a US keyboard. My editor is 
set up to translate Krej\vci\vr\'ik to Krejčiřík as I type.

This is not a hard problem.