Default SSH user should not be taken from current username

[notgne2]

This works enough of the time, but is a bit of a poor decision. We should instead leave it up to SSH to decide, so users can choose their SSH usernames in an SSH config file.