Swap out PGP key for new ed25519-based key

My old key was due to expire at the end of this year anyways; the time is
ripe to go ahead and start the transition.