Optionally change SSH user and port with -H

-H now accepts the format [user@]hostname[:port]