2022-02-07

Updated GPG key

I have updated my GPG key. It expires on 2022-12-08. It is now available on my home page, and the popular keyservers.

Here's a link to the current version.