R. David Murray added the comment: Given that background, closing it seems reasonable to me :) ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue12939> _______________________________________