From 7fb01a194798f6a41bd9ec4af190e97acfad5b36 Mon Sep 17 00:00:00 2001
From: Miriam <miriam@fsf.org>
Date: Thu, 15 Dec 2022 10:26:43 -0500
Subject: [PATCH] added Mailcelope Key Server

---
 en/index.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/en/index.html b/en/index.html
index 9ed31eb4..1ad48735 100644
--- a/en/index.html
+++ b/en/index.html
@@ -468,8 +468,9 @@ 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>. 
-You can also <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/x56.html#AEN64">directly export
 your key</a> as a file on your computer.</dd>
 
-- 
2.25.1