https://bugzilla.wikimedia.org/show_bug.cgi?id=55036
--- Comment #6 from Kunal Mehta (Legoktm) legoktm.wikipedia@gmail.com --- They remain in Special:DoubleRedirects and must be fixed by hand or deleted by admins. It is easy to distinguish between multiple redirects and redirect loops and there is no need to explain it outside.