…
This pulls the latest code and restarts the sea. Everybody moored here drops out and reconnects on their own, and the world is rebuilt as they do — it is held in memory and nowhere else, so nothing is lost but a few seconds.