minor: ssh ‘friendly-domain-name’ example