I'm sure the admins will get around to banning the spamming account soon enough, but in the meanwhile, is there a way I can suppress messages from that particular account for myself? There's so much cruft I'm having trouble finding the real content. It's probably in my account settings, but I didn't recognize it.