On Saturday, 29 June 2019 at 22:38:06 UTC, Bert wrote: > It would greatly expand the coverage. > > It would be nice to use certain characters that are truly > meaningful. I think a source code should be easily editable by anyone using a keyborad and plain editor. Extended characters only complicate things.