Yes, if he was directly harming you like that then yeah absolutely he should have been reported and removed. But the point is that I see a lot of people seeing someone write something bad on social media, and then they get some kind of weird joy out of talking to their employers and having them fired, and it's a really bad look.