-1. Make sure the `ARVADOS_DNS_SERVER` has been provisioned with the
- following DNS entries, resolving to the appropriate IP addresses
- where each service will be deployed.
+The `arvdock` script in this directory is used to start, stop and
+restart Arvados servers on your machine. The simplest and easiest way
+to use it is `./arvdock start` to start the full complement of Arvados
+servers, and `./arvdock stop` and `./arvdock restart` to stop and
+restart all servers, respectively.