After harassment by another use I was informed that "we all have to tolerate a degree of rudeness in complicated discussions sometimes". No, we don't have to tolerate rudeness, and we certainly don't have to tolerate harassment.