Re: [PATCH] URL: allow port specification in ssh:// URLs

Nicely done.

Although none of this may be strictly necessary (you can always
add entries to ~/.ssh/config), people often got confused because
we did not support this syntax.

Thanks.