The short host names are not useful on one's computer, except if one has
set their `/etc/resolv.conf` file to use `torproject.org` as the search
domain.

Those entries also make completion stop at the short host name boundary
which adds a useless step when writing commands.

The sed command removes only the shorthand notations without removing or
modifying IP addresses.

doc/ssh-jump-host.md

@@ -49,6 +49,12 @@ automatically added, for example:
 
     rsync -ctvLP ssh.torproject.org:/etc/ssh/ssh_known_hosts ~/.ssh/known_hosts.torproject.org
 
+Note: if you would prefer the above file to not contain the shorthand hostname
+notation (i.e. `alberti` for `alberti.torproject.org`), you can get rid of those
+with the following command after the file is on your computer:
+
+    sed -i 's/,[^,.: ]\+\([, ]\)/\1/g' .ssh/known_hosts.torproject.org
+
 # Different usernames
 
 If your local username is different from your TPO username, also set