On Thu, Oct 8, 2009 at 12:27 PM, Guido van Rossum <guido at python.org> wrote: > That's a flaw, and I don't quite know what to do about it. It's about > 20 years too late to remove or rename it. But we probably should not > do more of these. That's a lesson. +1 George