Manual:$wgFixDoubleRedirects/en

Details
Fix double redirects after a page move.

Tends to conflict with page move vandalism, use only on a private wiki.