> I'm arguing against the position that non-ASCII identifiers should be disallowed.
Maybe I'm tired, but I've read this multiple times and can't quite figure out your desired position.
I *think* you are in favor of non -ASCII identifiers?
Like I said, I must be tired.
