On Mon, Jul 19, 2010 at 2:45 AM, Guido van Rossum <guido at python.org> wrote: > Sounds like a good idea to try to remove redundant cookies *and* to > remove most occasional use of non-ASCII characters outside comments. ... Please see http://bugs.python.org/issue9308 . I am going to post a patch shortly.