[Python-Dev] Re: str() vs format(): trivia question