Three astronomers last week proposed expanding the official definition of a planet to encompass worlds orbiting stars other than our own, a nuance not currently included in the formal definition of ...