Hi Erik et al,
Andreas Fuchs has kindly pointed me to your new outstanding feature: shell.common-lisp.net I confirm that I was able to get the SSH-2.0...Debian prompt on port 443 -- that's great news.
Now the next question: you're asking project developers for gpg public keys, however with ssh I'm used to ssh-keygen (e.g. your FAQ points to cs.utk.edu/~england for passwordless commits which equally mentions ssh-keygen). Likewise, for sourceforge, I've a ssh-keygen generated key and I had never used gpg so far (but the commercial PGP at work).
How do keys generated with ssh-keygen relate to keys generated with gpg --gen-key?
Regards, Jörg Höhle.