Hacker News new | ask | show | jobs
by windsurfer 4134 days ago
You would have to come up with a new definition for what we currently call planets, since they are clearly different (more massive, more regular orbit, etc). It's more reasonable to call the newly discovered things something different instead of renaming old things.