Specifying the port in Stash SSH URLs is optional