Re: [Python-ideas] Briefer string format