From: Miriam <miriam@fsf.org>
Date: Thu, 22 Dec 2022 00:10:05 +0000 (-0500)
Subject: removed mailvelope server
X-Git-Url: https://vcs.fsf.org/?a=commitdiff_plain;h=196ddaf61aa95e1f5895e5e4bf11927da5e1ba71;p=enc.git

removed mailvelope server
---

diff --git a/en/index.html b/en/index.html
index 2a882804..9f60962f 100644
--- a/en/index.html
+++ b/en/index.html
@@ -468,9 +468,7 @@ page</a>.</dd>
 <dl>
 <dt>More about keyservers</dt>
 <dd>You can find some more keyserver information <a
-href="https://www.gnupg.org/gph/en/manual/x457.html">in this manual</a>. <a
-href="https://keys.mailvelope.com">The Mailvelope Key Server</a>
-allows automatic public key lookup. You can also <a
+href="https://www.gnupg.org/gph/en/manual/x457.html">in this manual</a>. You can also <a
 href="https://www.gnupg.org/gph/en/manual/x56.html#AEN64">directly export
 your key</a> as a file on your computer.</dd>