Re: [Python-Dev] Re: Allowing non-ASCII identifiers