Dave - yeah.. now I'm no military historian, but I've watched enough classic old 1950s Black & White war films
and tripe 1970s Kung Fu movies
to have learnt it's best to chose your battles wisely...

As for squabbling for days on end about just one word ?
There is one amongst us for whom the word 'Pedantic' must have been specially invented and introduced into our language.... 😜

He certainly seems to have a special need for the attention of his 'opponents',
as if to validate his own existence...???

"I argue perpetually and obsessively without end, therefore I am..." ...???