droplet: Fix printed instructions to have the right username/hostname.

tools/droplets/create.py

@@ -233,10 +233,10 @@ def create_dns_record(my_token: str, record_name: str, ip_address: str) -> None:
     domain.create_new_domain_record(type="A", name=wildcard_name, data=ip_address)
 
 
-def print_dev_droplet_instructions(droplet_domain_name: str) -> None:
+def print_dev_droplet_instructions(username: str, droplet_domain_name: str) -> None:
     print(
         """
-COMPLETE! Droplet for GitHub user {0} is available at {0}.zulipdev.org.
+COMPLETE! Droplet for GitHub user {0} is available at {1}.
 
 Instructions for use are below. (copy and paste to the user)
 
@@ -244,15 +244,15 @@ Instructions for use are below. (copy and paste to the user)
 Your remote Zulip dev server has been created!
 
 - Connect to your server by running
-  `ssh zulipdev@{0}` on the command line
+  `ssh zulipdev@{1}` on the command line
   (Terminal for macOS and Linux, Bash for Git on Windows).
 - There is no password; your account is configured to use your SSH keys.
 - Once you log in, you should see `(zulip-py3-venv) ~$`.
 - To start the dev server, `cd zulip` and then run `./tools/run-dev.py`.
 - While the dev server is running, you can see the Zulip server in your browser at
-  http://{0}:9991.
+  http://{1}:9991.
 """.format(
-            droplet_domain_name
+            username, droplet_domain_name
         )
     )
 
@@ -357,6 +357,6 @@ if __name__ == "__main__":
     if args.production:
         print_production_droplet_instructions(droplet_domain_name=droplet_domain_name)
     else:
-        print_dev_droplet_instructions(droplet_domain_name=droplet_domain_name)
+        print_dev_droplet_instructions(username=username, droplet_domain_name=droplet_domain_name)
 
     sys.exit(1)