Investigate using or adapting Renameuser extension for our stack.
https://www.mediawiki.org/wiki/Extension:Renameuser
This extension is MediaWiki's stock built in user renaming extension. Previously in the past it was not sufficient for our needs, but with the new actor table system it may work correctly. We need to investigate it if will work out of the box or need to be adapted.