change keyserver to a more well-known one

_layouts/home.html

@@ -23,8 +23,8 @@ layout: base
                         <td class="about-r dark-r"><a href="irc://irc.freenode.net/##earwig">Earwig</a> on <a href="irc://irc.freenode.net">irc.freenode.net</a></td>
                     </tr>
                     <tr>
-                        <td class="about-l light-l">OpenPGP Key</td>
-                        <td class="about-r light-r"><a href="http://keyserver.ubuntu.com:11371/pks/lookup?search=0x8A19649AE8DBB515&amp;fingerprint=on&amp;op=index">E8DBB515</a></td>
+                        <td class="about-l light-l">PGP Key</td>
+                        <td class="about-r light-r"><a href="http://pgp.mit.edu:11371/pks/lookup?search=0x8A19649AE8DBB515&fingerprint=on&op=index">E8DBB515</a></td>
                     </tr>
                     <tr>
                         <td class="about-l dark-l">GitHub</td>