I don't disagree with you about "not turning it up a notch out of frustration."
As for reporting posts in which he was attacked, I'd have to go back through a lot of threads, and to be honest I don't want to take the time. But as one example that jumps to mind, if you look at the thread he started about autopilot being late--this one--
Autopilot lane keeping still not available over 6 months after delivery
he was attacked pretty regularly. People kept talking about him threatening to sue Tesla when he had not made those threats. If you really would like me to, I'll look through that thread and find some posts that I'd consider attacks later, but I expect if you skim through it a bit you'll see what I mean.
There are posts made since his banning that I think are worse than anything wk057 said yesterday that haven't been moderated away anywhere last time I checked. Posts implying that I'm a moron, posts that tell sorka things like he should admit he's wrong for once in his life, (or something like that.) I'd go find those, and edit this post with them, but then this post might get moved to snippiness when those posts do.
Edit: I just reread your post, and saw that you said "report." Since you asked, I --will-- go find the posts I referred to above, and report those, just so you can see what I'm talking about. (I don't care that much if they get moved or not. My point was that they were more offensive than anything wk057 said yesterday, and were left alone.)