Does @beaniemaxi have to change his name now he sold his @cryptopunksnfts?

Is that how this works? I've forgotten.