Jelle Zijlstra <jelle.zijlstra at gmail.com> added the comment: Thanks, hard refresh does fix it. ---------- _______________________________________ Python tracker <report at bugs.python.org> <https://bugs.python.org/issue44103> _______________________________________