Does somebody have idea how to get
https://gerrit.wikimedia.org/r/#/c/166629/ merged?
13 months ago, the script already did all I needed; if pywikibot's
requirements differ from mine, I'd like to know. I personally don't need
the code merged, but I know other users for whom it would be a
simplification to find it in the standard repository.
Nemo