PeerInfoIDs extracts peer IDs from a slice of peer address information.
List<PeerId> peerInfoIDs(List<AddrInfo> pis) { final ps = <PeerId>[]; for (final pi in pis) { ps.add(pi.id); } return ps; }