What Happens to HoF Records If You Change Your IGN?

Does anyone know what happens to your hall of fame records if you change your in game name? Do the records get deleted because the name doesn’t match now? Do they stay but don’t count for you anymore since you have a new name?