hi, can anybody help me to get the right Electrum's public key I need to enter in the GPG keychain - so that I can verify my electrums download in a second step. What I found so far is from 2017 - its the Thomas Voegtlins public key "0x2bd5824b7f9470e6" - but when I am entering this in the PGP's "lookup for keys" search it doesnt find it.
Thanks a lot
Valentin