Impressed with:
"disagreed with my approach so much and so continuously that I developed a dread of reading my mail every morning: eventually I wrote a filter to send their mail to a separate mbox".
I'm very sorry to read this. In the early days of Redis this happened to me as well, there were a group of people continuously attacking me and I was horrified by the idea of reading their Twitter replies at some point. However instead of filtering them, I found (without conscious efforts, it just happened) a different solution, I became more and more sentimentally disconnected from the chats focusing solely on the actual arguments, filtering most of the tone and human-level parts. This makes me a sadder person, not able to joy or be sad for things I read on social networks for the most part, however in the pro side there is that I can read the harsh criticisms and find some value, sometimes, without being affected. Moreover, as a secondary adjustment, I no longer reply after a given point if I may start to sound attacking towards another person. This does not mean to accept everything, but just say after N replies: "we disagree but you are cool, I'll do what I think, have a nice day".
I still believe that we can stay in the tech world, not accepting what other people say if we disagree from a technical standpoint, without being assholes.