The header links the paper PDF; GitHub points to the renamed repository

index.html

@@ -173,7 +173,7 @@ footer { margin-top: 32px; color: var(--muted); }
     <label><span>Call</span><select id="call"></select></label>
     <label><span>Gate</span><select id="gate"></select></label>
     <button class="btn" id="replay" type="button">Replay</button>
-    <nav class="links"><a>Paper</a><a href="https://youtu.be/rZ6yazAzKs8">Video</a><a href="https://github.com/Token-Waste-Group/gate-probe">GitHub</a></nav>
+    <nav class="links"><a href="https://github.com/Token-Waste-Group/gateprobe/blob/main/paper/gateprobe.pdf">Paper</a><a href="https://youtu.be/rZ6yazAzKs8">Video</a><a href="https://github.com/Token-Waste-Group/gateprobe">GitHub</a></nav>
   </div>
   <div class="keyrow" id="keyrow" hidden>
     <label id="keylabel"><span id="keyname">API key</span><input id="key" type="password" autocomplete="off" spellcheck="false"></label>