Terry J. Reedy added the comment: Perhaps '__debug__' need markup, but if so, I don't know how. And I agree with Antoine. ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue17232> _______________________________________