Does SAO17287373--whatever care what we call it?

Does Pluto give a darn about whether it's a planetoid or planet?

People spend billions of dollars on gibberish every year. Does it matter that they add an iota to the background noise by naming a star after aunt gracie's late cat? Is anyone really hurt by this tiny offense to the cosmos?

redrefractor