Re: [Mediawiki-l] Where did "Update any redirects that point to the original title" go?