So i see that the planet editor is now assigning 'random' names to new planets. I'm wondering if these are the names that were submitted by the backers. Also wondering whether or not they are being stored client side. I poked around a bit and didn't see anything in the game files.