What skin off of your nose does it matter if a planet name gets changed? How does that impact your life? What are you losing by it?
It doesn't. I object to pandering to snowflake requests.
Edit: And that argument can easily be turned round. What does it matter what it's called? Why should someone who takes umbrage at something for no reason cause many others work to have to update data, star charts, etc.?