Update sysadmins OpenPGP key due to expiry
The currently listed and served key is expired.
I've got the current one via sending a mail to
Please ensure the key, as proposed here, is what you expect.
Also, at least https://keys.openpgp.org/ serves the expired key. I did not update this one. I did not check other keyservers.