* gnupg/index.html: Public key formatting