Hi,Possibly you're already aware, but just to make sure: according to www.debian.org/devel, and especially the link mentioned in the subject line, it is possible to retrieve a developer's GPG key by fingering [EMAIL PROTECTED]
However, this does not seem to work anymore... the finger results include common name etc., but no key information.
Thanks, Remco
