Board Thread:Support Requests - Getting Technical/@comment-24383490-20160901055615

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. 