Re: [Python-Dev] Binary Operator for New-Style String Formatting