Re: [Python-Dev] Add a new "locale" codec?