Oh! Okay, that would do it. Yeah, the lobby doesn't load those, because those are set based off of each client, not the host (whereas the ones in-game are set by the host). So rather than having the planet names be confusingly different per-player in the lobby, we went with having it just be the base names there, and then taking on the official names on actual start of the game. I had forgotten about that when you were asking your question, though -- glad you figured it out!