Problem is if you record player names on your map, what happens if someone takes over a planet already on your map? It wouldn't make sense that your map would automatically update itself after a battle if you weren't there. Personally I'd rather have no names on my map than potentially wrong names.