On the page, https://gameoftrees.org/code.html, it lists gothub.org as a mirror and as having gotwebd running.
I know that gothub.org has transitioned to public hosting. Is there intent for it to mirror again or should we do the 
following diff?

diff /home/kyle/src/got-www
path + /home/kyle/src/got-www
commit - 9e5b16a6521268f395f564a0bcea25246e0f2200
blob - e0f0476e2ddb882ff21cc6d099fc4143accdca5d
file + code.html
--- code.html
+++ code.html
@@ -124,19 +124,6 @@ SSH fingerprints:<br>
 256 SHA256:4bYmqbeoMpAk1l4aNfoCZl584qau1S9ocm16zQQGr4c (ED25519)
 3072 SHA256:iBAgcEKxdQDnnxf5P22ye7r01Wx9uo5EJzzZ+KX0yG0 (RSA)
 </pre>
-<li><strong>gothub.org</strong><br>
-<pre class="cmdbox">
-git clone ssh://anonymous@gothub.org/got.git
-git clone ssh://anonymous@gothub.org/got-portable.git
-</pre>
-Location: Falkenstein, Germany<br>
-Updated every 15 minutes.<br>
-SSH fingerprints:<br>
-<pre class="cmdbox">
-256 SHA256:HT7ohAIc4knlmUm3vFUyyK9/DW/sFccZuPG0oNwBWYA gothub.org (ED25519)
-3072 SHA256:o8rEbqBhzKrv3s2xVQ90/Bj/QiFPYF2NdBMyv9c7sv8 gothub.org (RSA)
-256 SHA256:iyV65wTikoHFSkyCg5Zxm9s+sjlTyKqiSZtuz8pVFrY gothub.org (ECDSA)
-</pre>
 <li><strong>git.chirpysoft.be</strong><br>
 <pre class="cmdbox">
 git clone ssh://anonymous@git.chirpysoft.be/got.git
@@ -167,8 +154,6 @@ Web interfaces for browsing are also available:
 >https://jamsek.net</a>
 <li> <a href="https://got.sexy.is/"
 >https://got.sexy.is</a>
-<li> <a href="https://gothub.org/"
->https://gothub.org</a>
 <li> <a href="https://git.chirpysoft.be/"
 >https://git.chirpysoft.be</a>
 </ul>