Re: [Python-Dev] The "lazy strings" patch