Finally, my sister has informed me that the star which orbits the planet is called Eratosthenes.  When I asked her what that meant, she just smiled, and said it was a little joke.  It may have been at my expense—she often did that when she named stars, I fear.  However, I cannot remember any ponies named Eratosthenes.  For what it’s worth, the name sounds Pegos.