Wikipedia talk:Tools/Navigation popups/About fixing redirects