No keyserver usage suggestion

diff --git a/doc/integrity.texi b/doc/integrity.texi
index 0a1ebb273ddcf82fb7dee99f388d23527ee76a34..149b2db3a7736eda71da3880a8ebd1aa915cea1c 100644 (file)
--- a/doc/integrity.texi
+++ b/doc/integrity.texi
@@ -23,7 +23,6 @@ public key fingerprint.
 
 @item
 @verbatim
-% gpg --keyserver hkp://keys.gnupg.net/ --recv-keys 0xF2F59045FFE2F4A1
 % gpg --auto-key-locate dane --locate-keys releases at govpn dot info
 % gpg --auto-key-locate wkd --locate-keys releases at govpn dot info
 @end verbatim