Merge pull request #2323 from ariard/2023-05-remove-ariard-pgp-key