True. I also like to call him Lex Loser.

After 20+ years on social media, my unwavering view on dealing with other users is that depriving the troublemakers of any attention whatsoever is the only way to deal with them effectively.

Also pissed.