I am assisting two wikis that have decided to merge into one. Both wikis cover the same topic, and as a result, there are many pages with the same name. As it says here, if you merge without renaming the pages, the edit histories will be fused, which is a problem.
The problem is, there are hundreds of pages on the merging wiki that have the same name as pages on the "final" wiki. It would take a long time to go through Special:AllPages renaming all of them. Is there a way to rename all the common pages quickly and efficiently?