Guido van Rossum <guido at python.org> added the comment: Thanks for the feedback, I'll do that. I have 50% time instead of 20%, though it doesn't feel that way lately. ;-) _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue2305> _______________________________________