Responding with civility to the pedantry is just a part of HN. I've found that being humble to comments like these, even if you disagree, is the simplest way to defuse the situation.