[Pywikibot-commits] [Gerrit] pywikibot/core[master]: [bugfix] Use grnfilterredir for random pages