I'm curious, because while the names of individuals and ships crop up all the time, the game doesn't randomly generate names for planets you colonize nor fleets you make, naming them after the planet's original designation, or just "Strike Fleet 1, 2, 3" etc. Why doesn't it use the names provided from the list for that? Or at least have an option somewhere for randomizing a name so it picks from those lists?