... [much page traversal deleted] ... peter> So you need to add a bug to the Python bug tracker -- at least so peter> it seems. If you go to the top of the doc tree: http://docs.python.org/ and look in the left-hand sidebar you'll see "docs at python.org" under the heading "Email Us".