Re: [Python-Dev] Great Renaming - Straw Man 0.2