Hello.
Another bureaucrat used to take care of fixing double redirects in our wiki, but he does not have the time to be active anymore.
Hence, I probably need to occasionally use the script that he used to find and correct them.
Does anybody know of the best available alternative?
Also, he told me that he used a better script for directly changing the names of different categories, without having to first insert a new category names, and then remove the old one, as I have to do, which provides problems, as it does not distinguish between regular and capital letters.
I would also appreciate if somebody could tell me which one that he likely meant.
Thanks in advance for any help.