https://blog.chapagain.com.np/gpg-revoking-your-public-key-and-notifiying-key-server/