Wikimedia Bugzilla is closed!

Here is an example: [[Source]] redircts to [[Destination]] and [[Another page]] and [[User:Blah]] links to [[Source]]. If I got to Whatlinkshere/Destination, I will see both [[User:Blah]] and [[Another page]] listed there. Now, if I choose "User" namespace, I expect to see [[User:Blah]] but not [[Another page]]. What actually happens is that I see "none" of them! Which is because choosing "User" namespace prevents redirects on the "(main)" namespace to be followed.

I assume the problem can be sovled if redirecting pages are "not" included in the namespace-based WHERE clause.