User blog comment:DaNASCAT/Technical Update: October 19, 2015/@comment-24473195-20151020182541/@comment-5383971-20151020191905

With a small change, that our extension only work for "content" pages, it actually does match the pages in a case-insensitive manner, so for example:

http://marvel.wikia.com/wiki/Young_x-Men_Vol_1_12 will suggest you go to http://marvel.wikia.com/wiki/Young_X-Men_Vol_1_12

As for redirects, we had an internal discussion on that and we decided not to include such a big change in the first release. We came to similar conclusions to yours: if there is any reason to think the user is a Wikia user (logged in, cookie, HTTP referrer), we should not automatically redirect, but otherwise the redirect could be desired.