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