I have to say, I rather like the fixed names. They give a sense of geography to the galaxy, allowing us to say a name and have that actually mean one, and only one, place in the universe. Player-made names are transient, labels that say who lives there, rather than where "there" actually is...