Phobos version naming

[Ola Fosheim Grøstad]

On Wednesday, 3 November 2021 at 19:40:30 UTC, David Gileadi 
wrote:
> Bikeshed aside, named library versions may be more memorable 
> but they have the downside that it's much harder to see two 
> names and know which one is newer and/or current.

Make Astronomy 101 a prerequisite for learning the language and 
pick stars ordered by distance from Earth.