Manual:$wgFixDoubleRedirects/de-formal

Details
Fix double redirects after a page move. Edits are made under the Redirect fixer account name.

Tends to conflict with page move vandalism, use only on a private wiki or a wiki where page moves are restricted to a trusted usergroup.