The purpose of these redirects was not to improve searching. They help to avoid that you have to type "Extension:Name of extension" to get to the page directly. "Name of extension" is easier and would have been sufficient prior to your action. It is true that this might be an unnecessary extra. However, this wiki is full of such redirects. May I kindly ask you to delete them as well. I do not like the idea of uncompleted work. Thank you.
Topic on User talk:P858snake/Archive 1
I'm aware the other redirects, and I'm working on getting rid of them, but when they are older since you can't tell if there is external links pointing to them compared to when they are fresh and new when that is relativity unlikely to occur.
Fair enough. At one stage or the other this "compatibility modus" should be ignored. Touch wood.