It's weird...I wouldn't be surprised if someone reported him, but then again, I'm surprised if someone did. We all sort of put up with him; it wasn't like he was a troll, per se, he was just annoying. I guess someone finally got fed up.
Oh well, I'm honestly not gonna get beat up about it. He always had a problem with running his mouth, so he's had it coming for a long time now.