RE: [Python-Dev] PEP 263 -- Python Source Code Encoding