I'd be curious if someone reported him. I see people use stuff like that all the time. Just wondering if it's more of a getting reported thing or just whether the 'wrong' mod catches it?
I don't really care, though. As I've said before, I respect the rules and am down with repercussions to breaking them. The selective enforcement (or as it's perceived to be some) can be maddening at times, but I also understand there needs to be things like context, repeat offenses, and the understanding that mods/admin can't police every post.