Um breve esclarecimento sobre a NASA e os nomes de corpos celestes. Quem tem autoridade para propor nomear corpos celestes e propor mudanças de nomenclatura é a International Astronomical Union, não a NASA.
Nomes oficiais de corpos celestes são aprovados nas Assembleias Gerais, que acontecem a cada 3 anos. Mudar nomes oficiais requererá voto da Assembleia Geral. (Na última vez que os americanos entraram em dividida com o mundo na Assembleia Geral, Plutão foi derrubado...)
Poucos corpos celestes possuem nomes oficiais. Em particular as nebulosas e galáxias possuem denominações e alcunhas, muitas populares, dadas por astrônomos profissionais ou amadores que as descobriram, estudaram, propagaram, etc. A IAU não os reconhece como oficiais.
Mas são nomes que estão em livros-texto, livros de divulgação, etc. Os nomes associados à mudança proposta pela NASA estão nessa categoria: são tradicionais ou muito conhecidos pelos amadores, aficccionados em astronomia e divulgadores. Às vezes são usados por profissionais.
A NASA irá passar a usar outros nomes e abandonar aqueles que julgar ofensivos a minorias. Se ela irá com isso conseguir mudar o nome tradicional usado já há tanto tempo é outra história. Tenho dúvidas se ela conseguirá. Provavelmente serão objetos que manterão ambos os nomes.
