[Fedora Infrastructure] #3525: New mediawiki redirect behaviour is annoying