This is pretty old news. Here is some background: https://www.iau.org/static/science/scientific_bodies/commissions/c3/c3-annual-report-2022-2023.pdf
A key comment is that “The OC is worried that a new nomenclature might be simply ignored by most astronomers”. Indeed it might.
The early explorers were clearly not “nice” people as currently defined but who of us today will pass muster when compared to the moral standards of people 500 years in the future?