So in the US, it seems we shortened "tied to earth ground" to "grounded" for common usage while in the UK the shortened version became "earthed" [2].
[1] https://www.dictionary.com/browse/ground - noun definition #1 or #2
[2] https://dictionary.cambridge.org/us/dictionary/english/earth...
Yes. We say "grounded" in the US English, but in UK English it's usually called "earthed".
I’ve done enough reading for electrical wiring for both small electronics and electrical power that I’ve seen both terms frequently enough that neither seems out of place to me.
The team was highly international, with a strong European influence, so that could also have been part of it.
GND is the symbol for 0V in circuits. Earth is, as you say, the safety path to actual ground. It's the 3rd pin on domestic mains plugs, and you can't call something earthed if it doesn't connect to the safety path.
But I'm pretty sure we use "virtual earth" for op-amps :-)