The "List redirects" option in the advanced search settings does not seem to have any effect. This is fine, as the new search interface lists the real page name next to the redirect name; but then the option should be removed.
Version: unspecified
Severity: trivial