Probably won't be remembered, but I did update my profile, turns out there is a "My Old Name" button now. Neat.