trying to verify signature of electrum, but i get a error when Obtaining public GPG key for ThomasV
keys.gnupg.net: host not found ...
Are we under attack ??
This guide is from 2020; since then,
keys.gnupg.net was deprecated.
I found
this similar question answered in a quick web search.