Re: [Python-ideas] Customizing format()