[Conan the Librarian]

I don’t think it really matters what NASA calls anything in space. Things are called what they are called by the people who do astronomy, not planetary exploration...like astronomers.

[River Hawk]

If NASA changes these names for PC reasons, then it’s highly likely that’s what everybody is going to call them.