Translations:Manual:$wgRedirectSources/9/en

This does not affect intra-wiki redirects, which don't change the URL.