We've had an entire thread harassing Tom, which specifically featured RonJ as one of the most prolific contributors.
Right, hang on. You’re talking about the thread about things Tom doesn’t understand, right?
So I had a look through it just now and RonJ was indeed posting in it plenty in its first couple of pages. After that, not so much.
His last post in the thread that I could see (unless he has an alt?) was on page 10, his post was in May 2019. Tom’s post about how we were all being meanies wasn’t till May 2020. Not long after that, and after a few more posts, none by RonJ, the thread got locked.
So using that thread as part of a basis for banning RonJ is pretty spurious.
If you feel there’s been a more recent pattern of behaviour from him then you may be on to something but Tom’s complaint about the thread came a year after RonJ’s last post in the thread (again, unless he was posting with a different account), so you can’t sensibly claim Tom’s complaint about how horrid we all were included RonJ.
So yeah, RonJ broke Rule 1 which doesn’t apply in AR, so a ban was unwarranted.
All that said, I do buy the argument that he’d probably have got banned for something else soon anyway so is he really worth defending. But we are getting a bit “Minority Report” if we are going to ban someone for something they’re probably going to do.