I find this forum is efficient at booting the trolls that show up. I didn't see what the individual posted, but since it isn't their real name (I hope),I'm not blindly whacking someone's reputation here. As an ex mod from other forums, you get your share of "if I say something cruel the nerds'll get riled up' posts. It's a power game for 12 year old boys - as a teacher I had in depth conversations about why they did such things, and their motives were interesting. Their posts weren't.
You also get intentional stupidity posts, sexist and racist posts, totally off topic posts, advice that kills fish posts - all apparently aimed at getting serious people upset because serious is seen as bad.