Japanese codecs (was Re: [Python-Dev] PEP 263 -- Python Source Code Encoding)