I am of the belief that banning users or deleting posts, even inflammatory ones, harms free speech and hinders open communication. If you feel a user is "harassing" you (insofar as that's even possible, given you can freely ignore their comments), attempting to have the user banned just pushes the community toward becoming an echo clamber. I say this because people are very, very bad at distinguishing harassment from mere heated disagreement in the first place.