I believe everyone in the target audience of the language won’t have much trouble setting this up, and as I demonstrated there are general-purpose text editors that have this built in. Yes, you have to show people how to do it, but then it is completely possible for anyone.
In my opinion, use of such Unicode characters should become more common, because the general method of how to type them is not difficult to learn. It would be nice if operating systems had it preconfigured — maybe we’ll get to that state someday. We have to start somehow.
In any case, I applaud the language for taking that approach.