I don't know for sure if this is what did it. I got frustrated with getting infracted every time I responded to one of his snide posts. So, I stopped responding and started reporting every single post where he wanted to be an asshole to someone. My guess is that the infractions just started to pile up. It's probably only a temporary ban, which means I'm going to keep doing it until he is gone.