Re: [Mediawiki-i18n] Choosing Translated Term of Redirect During Move