proper port for Mercurial;

--- a/src/Pure/General/ssh.scala	Tue Sep 13 09:59:08 2022 +0200
+++ b/src/Pure/General/ssh.scala	Tue Sep 13 10:11:53 2022 +0200
@@ -107,7 +107,7 @@
     ssh =>
 
     override def toString: String = user_prefix(user) + host + port_suffix(port)
-    override def hg_url: String = "ssh://" + user_prefix(user) + host + "/"
+    override def hg_url: String = "ssh://" + toString + "/"
     override def rsync_prefix: String = user_prefix(user) + host + ":"