flapflap: > Maybe everyone of us (me, muri, spriver, sycamoreone, u) should
> reply with a signed email to acknowledge the correctness of the
> OpenPGP fingerprint as stated on the above mentioned page.
>
> My, flapflap@???, OpenPGP key fingerprint is 2354 8DDD 83F5
> 3E54 024C E4CC 73F0 75CE 217E 3C9F
My, sycamoreone@???'s, OpenPGP key's fingerprint is
7204 C800 522E 14C0 7F87 1C6D E6AE 11A3 F6B8 D449
as in commit 92e7477...
(And now it will be even more work to switch to a new smart card
hosted set of keys.)