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

I’m still seeing badges for anonymized accounts.

Understood on the other points. Thanks!