R. David Murray added the comment: I think there is nothing to do here unless Mark likes my suggestion and/or someone comes up with an even better improvement. ---------- _______________________________________ Python tracker <report at bugs.python.org> <https://bugs.python.org/issue31021> _______________________________________