Reported-by: Mark Wooding <mdw@distorted.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
* `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
===================