RE: [Python-Dev] Encoding of 8-bit strings and Python source code