There used to by lists of planet names made by users for customizing the game. Are those lists still around? I don't seem to be able to find them. Please point me to them, as I cannot remember (even pronounce) some of the names. And I am too lazy to make my own list;).
