I thought that the game randomly assigned names to stars out of the pool of names in STARS.txt, but it looks like it just starts from the beginning and works its way down. Is this right, or is it a coincidence?
Is there an option to randomize the names?
