Good point - when the distinction is consequential (like “democracy” versus “republic”), it’s worth going to the matt over (and I’ve done so on this forum); when it doesn’t matter that much, I’m not sure it’s worth the aggravation.
I put “decimate” in the latter category.
I agree
it’s best to pick your battles
and know when and who NOT to fight with.
7