npub1vg40cghujj2gtg9g5cs7d3x2crvgd80pxc6eklrv95qk2fyaz03q7s2yt8 (npub1vg4…2yt8) Which distro?
On Ubuntu, the public key is available: https://keyserver.ubuntu.com/pks/lookup?search=D959241751179EC7&fingerprint=on&op=index
On Debian, it's not: https://db.debian.org