Raymond Hettinger <python at ...> writes: > > Am curious whether you guys like this proposal? I find it good for the builtin format() function, but how does it work for str.format()?