Arguing is tiring, and here the payoff will be small since the conversation has moved on, few others are reading. I’ve made my point.

Look on the positive side. Humans being what they are, it’s not usually reason that wins debates, but rather the agreeableness of the participants. So you’ve probably won this one by default.