Thanks, @owen.campbell ! I’ve added it to Sneaky Anvil Updates, with pointers to documentation:
Would you happen to know whether anvil.server.disconnect()
cancels (terminates) an active anvil.server.wait_forever()
? It would be logical for it to do that.