I think it would have been more productive to just ban them and then make an announcement about why their behavior was intolerable.

Posting about it in a way that technically violates the rules and then post hoc announcing a new exception to the rules is just gonna result in a bunch of litigation about the specifics of site policy, kinda like what's happening in this thread now.