MediaWiki:Double-redirect-fixed-move

$1 has been moved; it now redirects to $2.