In alt.home.repair, on Wed, 21 Apr 2021 07:41:06 +0300, Opinicus
wrote:

On Tue, 20 Apr 2021 07:46:15 -0400, micky
wrote:

"air" is the
atmosphere of the Earth, but the atmosphere of Mars is not called air.
That didn't used to matter much, but now it seems more important.
And I think that we'll eventually come around to calling it "air" at
some point,

You're probably right, but I have to hold out as long as I can. It's
all I've got to separate myself from the savages.

if only because it's inconvenient to have to have a
separate word for every each planet's atmosphere. I suspect it'll be
kind of like what's happened to "geology" as in "The Geology of the
Terrestrial Planets". That title surprised me the first time I saw it.

It surprises me, too. I didn't think they even had GM Geo's any place
but Earth.