-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

I have replaced the PGP key with fingerprint

    A0DF F349 9910 E466 58E6 E4FF CE04 3F62 435B 963B

with the PGP key with fingerprint

    6C86 F0B0 6792 9AA9 4154 C5EA F0E6 11F6 C01E A600

as of 2023-03-10.

The old key was stored on a smartcard, with a backup on an encrypted
USB drive. This USB drive is lost or stolen.
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEZgaDMyPhzs1hU8yU9rhz64S7EXEFAmQMGcwACgkQ9rhz64S7
EXG80g/7BLvlAbKGVmnT41lR5vMDpXi6ijOYBd9pWmTUyQWGLfTxctwWbA+aOyKR
GHbo1hcpYyR6hEkE1fDRPkjDoeCiy34pG/+aqEGRRbMy80zR3IamCZcGbFTqbfKj
RKZ+93+qUSGD9GElpJFRwYpEyDZ/urc+ortXQ6SagXop+EJ/XU+MJjpO85UU/nLD
SdFkiB2vE60ol5yBG8uu19Ufe9y6VFnmZ5lcv+kRtRLPV8ygtx4jo8oEdFAMciRD
2iaWPduRXQ/4Im4GF48VCx5cNOgglUMJc+sCajWe+YMWUgXgqLktUz11yh7m1F92
WO1nM3TfYkIefJTXR6C6Twog95yQ7VSb+PoQV99uYMNIbO2FP4ox+/1ibjcbMD9G
aZjqRCyOtBmpHIjDQVq4vcjNOPafLxa/BRbGPVaOBXhyMjC785/uApBDFo8Ty91P
JpfGXnjZnAh6KZy0pfRKQ8Bcxkq4kHEFQAZAmo8iIxpWdhf0QlNT6suxqAKOl7zS
CfMGASV5CRAKX1V1O88x1M1yM/zUWq/QlcgEeyjzHKoHWIDE1XT4Y8YVPpRKVWv1
WyJm0/NToMZzneZq5ImKKmRZeXEKrdl3uuIq7QV7jP30j2ijbVB2z6uY9OCHtpn3
VqOqvGAcDKm3Rmf9GokmEbziamadkOQlKRaTuEmR3ySCdzJDlTqIdQQBFgoAHRYh
BGyG8LBnkpqpQVTF6vDmEfbAHqYABQJkDBnUAAoJEPDmEfbAHqYACIoA/3i0hkd5
9dcemBhvXsmjz52raxXHjFaz27zB7t/3jETuAQDShGkQHq/KeWGuOqG4gDm+sF4I
C1o6g404tM+3Y1zYCA==
=L5Wz
-----END PGP SIGNATURE-----