OK thanks, I submitted a patch here: https://gerrit.wikimedia.org/r/#/c/pywikibot/core/+/478611/