Extension:Implied Redirects extension