option "key-file" k
#~~~~~~~~~~~~~~~~~~
-"(default='~/.paraslash/key.<user>')"
+"path to private key"
string typestr = "filename"
optional
+details = "
+ If not given, the following files are tried, in order:
+ $HOME/.paraslash/key.$LOGNAME, $HOME/.ssh/id_rsa. It is a fatal
+ error if the key file can not be opened, or is world-readable.
+"
</qu>
include(loglevel.m4)