Translations:Help:Redirects/24/en

There is an option, $doublefix, to automatically fix double redirects with a.