"I don't think that we should be honoring that kind of person with telescope names," he says. "Banging your heads against a wall is not the best way to expend our energies" He doesn't see any realistic way to get it the name change, just because bureaucracies are bureaucracies and they're not easy to change.
Welcome to the October 2022 Ask Me Anything episode of Mindscape! These monthly excursions are funded by Patreon supporters (who are also the ones asking the questions). We take questions asked by Patreons, whittle them down to a more manageable number — based primarily on whether I have anything interesting to say about them, not whether the questions themselves are good — and sometimes group them together if they are about a similar topic. Enjoy!
Support Mindscape on Patreon.
See Privacy Policy at https://art19.com/privacy and California Privacy Notice at https://art19.com/privacy#do-not-sell-my-info.