Very quick question: I'm playing a multi-PR game (classic NATO, Warsaw Pact, China and some others) and I'm wondering if there's a setting somewhere for me to group contacts properly. Right now, because every human empire knows the name of the others ships, the 'Group Contacts' button just shortens the contact name so, for example, I get "FT Da, FT Gren, FT Dre" rather than "3x Pacific S AK"
Or, to word it differently, can you get group contacts to work usefully while still naming ships?