On the Host New Game Setup Screen, under Game Options, the Show Unexplored Planets checkbox tooltip is ambiguous. The second sentence, "Be advised that the Human Colony Rebellion and Mining Golem minor factions can be very hard to play with this option," seems to suggest that showing unexplored planets makes it more difficult to resolve rebellions or destroy mining golems - is that right?