Hello,
Maybe this should not create the directory as the given path is absolute,
but unless my understanding is wrong, Ssh.userKeys does not create the
directory either.
Could there be a Ssh.userKeyNamed for example which would prepend
$HOME/.ssh to the given name?
Well spotted, I've fixed it to create the directory.
userKeyAt's documentation doesn't actually specify that the filepath provided can't be relative, and if it were relative, it seems to make sense for it to be relative to the usual .ssh directory. Done so.