goodbye

fun goodbye(peerId: PeerId)

Records a goodbye event: peerId has left the network.

This removes only the dots this replica has seen; a concurrent announce from another replica that this node hasn't observed yet will survive. Calling goodbye for an unknown peer is a no-op.