From 3d935513ae322da99498678971c0fe77082e9f92 Mon Sep 17 00:00:00 2001
From: Miriam <miriam@fsf.org>
Date: Thu, 15 Dec 2022 10:28:38 -0500
Subject: [PATCH] added Mailvelope Key Server

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

diff --git a/en/index.html b/en/index.html
index 2c1817e..95e9b6a 100644
--- a/en/index.html
+++ b/en/index.html
@@ -878,8 +878,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