This is not the first time I see this exact pedantry on HN and I can't help but feel the same way as with people who immediately yell "it's not free! Nothing in life is free!" when you talk about free healthcare or free public transportation.

We know. We understand that it is technically correct. But it's completely useless in the discussion. You know perfectly well what the other person meant.