carroll@uiucdcsb.CS.UIUC.EDU (02/04/86)
The death of the Challenger crew was tragic, but I think that naming satellites after them is a bit much. I would vote for naming the Uranus moons traditionally. Anyway, I think that the International Astronomical Union decides what to call things.