Leo's pgp key for xmpp chat is here.