Olivier Beaton wrote:
In the case of renamed links, for those that are not dynamically generated somehow, you can use replaceText extension to do a search+replace of all links in all articles.
If the old names are added as an alias, he wouldn't need to mass-replace links.