added Mailvelope Key Server

diff --git a/en/index.html b/en/index.html
index 2c1817ea191c689f15f5e829d0f8faf5c4e95e3f..95e9b6a01c31c58dd55fc3e3a7d429ce5a22c8a7 100644 (file)
--- 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>