I was gonna make a longass speech but I think, for now, I will spare everyone. Long story short i agree but not 100%. It seems like you want him to be remove permanently which i find to be a bit extreme. I mean , we have people who are 10x more toxic than this guy and they still lingering around.
Here's what ,I gonna do my mojo and talk to the guy. I doubt it will solve the problem but it's the least i can do about the situation.
Orrr...
We can let our bot take his Ip address and fry his motherboard or some shit.