Mar 11 2020
Aug 23 2019
None that I remember. You are fast. It has only been eight years since I reported this.
Mar 6 2018
Nov 27 2017
Nov 17 2017
Why not just exclude every redirect page from search and dropdowns? I don't see a reason, why any redirects should show up in a search box.
Nov 12 2016
No. I will look into this when I have time to. Mediawiki has this git-review-thing where you need to attach some ID to a commit.
Unfortunately I have insufficient rights for that. Afaik I can only commit to extensions, not core.