If I were you, either of you two, I would put the other on ignore and forget about it. Ignoring certain members has worked very well for me. The time I spend on the forum I don't want to spend angry, no more than absolutely necessary at least. And if you think that no matter how much of a reputation we have, we're just someone behind a nickname, it's not worth getting too upset.