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