* `user`: The local username for `really` and `ssh`, or
`<user>@<host>` for `ssh`.
+`[arch]`: Architecture convenience aliases
+------------------------------------------
+
+This is a map from archictecture aliases to full cargo architecture
+names. The keys are the aliases; each entry should be a string, the
+cargo architecture name.
+
+Only keys starting with an ascii uppercase letter are relevant, since
+all other names are not looked up in this alias map.
+
Running the command
===================