From 196ddaf61aa95e1f5895e5e4bf11927da5e1ba71 Mon Sep 17 00:00:00 2001
From: Miriam <miriam@fsf.org>
Date: Wed, 21 Dec 2022 19:10:05 -0500
Subject: [PATCH] removed mailvelope server

---
 en/index.html | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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>
 
-- 
2.25.1