What is supposed to happen to a user's badges once banned or anonymized?

Sure but now those badges don’t belong to anyone.