OpenPGP public key (work)

Rename from .asc to .gpg for consistency and better readability on GitHub.