HowTo: Generating and Downloading an SSH Key