Group membership not revoked after users' email change

I rather doubt it. I’m surprised that the flair was removed, but maybe the changes the primary group. I’m watching to see what someone else says. I’d need to check the source and can’t (easily) on my phone.

Edit: shows what I know.