Georg Brandl <georg at python.org> added the comment: Sounds like a good idea to me. ---------- nosy: +georg.brandl _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue10180> _______________________________________