Manual:SpecialDoubleRedirects.php