Is it actually relevant? Surely the terminology different members use isn't being targeted now? We all know the context, can it be ignored?
I find it's easier to ignore the one person that complains about "incorrect" (but still correct enough that EVERYONE knows what is being referred to) terminology than it is to ignore regional and cultural differences in the English language.
Bookmarks