IPv6 addresses as hostnames are not representable in OpenPGP User ID schema we are using
Since IPv6 addresses are themselves colon-delimited, it's impossible to tell the difference between a server listening on port 2222 on IP @aaaa::bbbb@ from a server listening on the standard port (22) on IP @aaaa::bbbb:2222@, since they would both be represented in the monkeysphere with the same User ID: @ssh://aaaa::bbbb:2222@
OpenSSH deals with this sort of ambiguity by requiring that the host name of non-standard ports be wrapped in square brackets.
This seems like an issue that should be addressed by generic URIs though -- how is this done generally?
Looking at #660 (closed), we've never successfully supported alternate ports yet. We have an opportunity to re-define the User ID that we choose to fix this before we release another version, if so desired.
(from redmine: created on 2009-03-23)