~ reverted unintentional removal of ServerInfo.fromSet()