We need a maintenance script to rename all users matching $wgAutoCreateTempUser['matchPattern'], globally including in CentralAuth.
For the benefit of Wikimedia's non-CentralAuth wikis, and for third-party users, it should be possible to perform this operation without CentralAuth integration.
Note that there is also T300265 for the notification component of the migration.