disco console (as well as serve) now assign the runtime a port number to be transmitted with messages to peers.