+> This needs to be explained that it is adding an alias to make it easier to log into an
+> arvados server on port 2222. This is not actually necessary if the user doesn't mind some typing.
+> Actually, it might make sense to show the regular command line first, and then mention later that
+> it can be shortened using ~/.ssh/config.
+