Mike Hoy added the comment: Working on a patch now unless there are objections to the OP. ---------- nosy: +docs at python _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue15829> _______________________________________