(server-start): Mention LEAVE-DEAD arg in the doc string.