Regenerate doc pages with Scripts/build-doc-pages.sh

hosting.leaf and relay.leaf get the new source hashes (their HTML is
unchanged). The pages generated from flamenet-e2e follow the pinned
.e2e-ref, which still carries the old gitlab.com/paulhitt links; they move
when the pin is bumped past flamenet-e2e!61. The old links redirect.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Resources/Views/audit.leaf

@@ -19,7 +19,7 @@ directly.</p>
 <table>
 <tbody>
 <tr>
-<td><a href="https://gitlab.com/extant2000/flamenet-e2e">flamenet-e2e</a>
+<td><a href="https://gitlab.com/paulhitt/flamenet-e2e">flamenet-e2e</a>
 <code>src/</code></td>
 <td>JavaScript</td>
 <td>Reference cryptographic engine. Normative where implementations
@@ -27,7 +27,7 @@ disagree. This repository.</td>
 </tr>
 <tr>
 <td><a
-href="https://gitlab.com/extant2000/flamenet-messenger-ios">flamenet-messenger-ios</a>
+href="https://gitlab.com/paulhitt/flamenet-messenger-ios">flamenet-messenger-ios</a>
 <code>Sources/E2E/</code></td>
 <td>Swift (CryptoKit)</td>
 <td>iOS engine and app. Checked against the reference in both
@@ -35,7 +35,7 @@ directions.</td>
 </tr>
 <tr>
 <td><a
-href="https://gitlab.com/extant2000/flamenet-messenger-android">flamenet-messenger-android</a>
+href="https://gitlab.com/paulhitt/flamenet-messenger-android">flamenet-messenger-android</a>
 <code>engine/</code></td>
 <td>Kotlin</td>
 <td>Android engine and app. Held to the published vectors rather than to
@@ -43,7 +43,7 @@ the other two engines.</td>
 </tr>
 <tr>
 <td><a
-href="https://gitlab.com/extant2000/flamenet-relay">flamenet-relay</a></td>
+href="https://gitlab.com/paulhitt/flamenet-relay">flamenet-relay</a></td>
 <td>Swift (Vapor)</td>
 <td>The relay. Holds no key that opens an encrypted message.</td>
 </tr>

Resources/Views/engine.leaf

@@ -15,7 +15,7 @@ href="docs/SPEC.md"><code>docs/SPEC.md</code></a>, the engine behind
 Flamenet Messenger: <a
 href="/">https://flamenetmessenger.com</a>.</p>
 <h2 id="check-it-yourself">Check it yourself</h2>
-<pre><code>git clone https://gitlab.com/extant2000/flamenet-e2e &amp;&amp; cd flamenet-e2e
+<pre><code>git clone https://gitlab.com/paulhitt/flamenet-e2e &amp;&amp; cd flamenet-e2e
 npm test</code></pre>
 <pre><code>274 passed, 0 failed</code></pre>
 <p>No install step, no dependencies to fetch, nothing to trust before it
@@ -84,7 +84,7 @@ for a sealed message.</li>
 sent-copies</strong>, both client-side only: there is no server route
 for either, by design.</li>
 <li><strong>The server is published too</strong>, as <a
-href="https://gitlab.com/extant2000/flamenet-relay">flamenet-relay</a>:
+href="https://gitlab.com/paulhitt/flamenet-relay">flamenet-relay</a>:
 its own repository, with its own pipeline. Self-hosting is not a claim
 you have to take on trust: the relay is the same code, published.</li>
 </ul>

Resources/Views/hosting.leaf

@@ -3,7 +3,7 @@
 <!-- GENERATED by Scripts/build-doc-pages.sh from docs/HOSTING.md.
      Edits made HERE are deleted the next time that script runs.
      Change the markdown source and re-run it.
-     source-sha256: eb1864d952ebae6e -->
+     source-sha256: 98d7d82f48b654db -->
 <article class="band doc doc-generated">
   <div class="wrap wrap-narrow">
 <h1 id="running-your-own-relay">Running your own relay</h1>

Resources/Views/relay.leaf

@@ -3,7 +3,7 @@
 <!-- GENERATED by Scripts/build-doc-pages.sh from README.md.
      Edits made HERE are deleted the next time that script runs.
      Change the markdown source and re-run it.
-     source-sha256: 3f3fb2f8713d1031 -->
+     source-sha256: 53ab4ed836037d3c -->
 <article class="band doc doc-generated">
   <div class="wrap wrap-narrow">
 <h1 id="flamenet-relay">flamenet-relay</h1>

Resources/Views/self-hosting.leaf

@@ -23,23 +23,23 @@ licence.</p>
 <tbody>
 <tr>
 <td><a
-href="https://gitlab.com/extant2000/flamenet-relay">flamenet-relay</a></td>
+href="https://gitlab.com/paulhitt/flamenet-relay">flamenet-relay</a></td>
 <td>The server you are about to run</td>
 </tr>
 <tr>
 <td><a
-href="https://gitlab.com/extant2000/flamenet-e2e">flamenet-e2e</a></td>
+href="https://gitlab.com/paulhitt/flamenet-e2e">flamenet-e2e</a></td>
 <td>The protocol: JavaScript engine, specification, published test
 vectors</td>
 </tr>
 <tr>
 <td><a
-href="https://gitlab.com/extant2000/flamenet-messenger-ios">flamenet-messenger-ios</a></td>
+href="https://gitlab.com/paulhitt/flamenet-messenger-ios">flamenet-messenger-ios</a></td>
 <td>The iOS app, and the source of truth for all of the above</td>
 </tr>
 <tr>
 <td><a
-href="https://gitlab.com/extant2000/flamenet-messenger-android">flamenet-messenger-android</a></td>
+href="https://gitlab.com/paulhitt/flamenet-messenger-android">flamenet-messenger-android</a></td>
 <td>The Android app, with its own Kotlin engine</td>
 </tr>
 </tbody>
@@ -48,7 +48,7 @@ href="https://gitlab.com/extant2000/flamenet-messenger-android">flamenet-messeng
 "self-hostable" is something you can check rather than something you are
 told.</p>
 <h2 id="quick-start">Quick start</h2>
-<pre class="bash"><code>git clone https://gitlab.com/extant2000/flamenet-relay
+<pre class="bash"><code>git clone https://gitlab.com/paulhitt/flamenet-relay
 cd flamenet-relay
 cp .env.example .env</code></pre>
 <p>Generate the three secrets <code>.env</code> asks for:</p>

Resources/Views/spec.leaf

@@ -2190,7 +2190,7 @@ tamper rejection and safety numbers.</li>
 <h3 id="android-verified">Android, verified</h3>
 <p>The Android engine exists and is exchanged with the web engine. It
 lives in <a
-href="https://gitlab.com/extant2000/flamenet-messenger-android">flamenet-messenger-android</a>
+href="https://gitlab.com/paulhitt/flamenet-messenger-android">flamenet-messenger-android</a>
 <code>engine/</code>, 18 Kotlin files, and a plain JVM library with no
 <code>android.*</code> imports, which is exactly the shape this section
 predicted it would need to be testable at all.</p>
@@ -2726,7 +2726,7 @@ taken, first contact with an unpinned device remains downgradable. See
 </tr>
 <tr>
 <td>Relay (Swift, <a
-href="https://gitlab.com/extant2000/flamenet-relay">flamenet-relay</a>)</td>
+href="https://gitlab.com/paulhitt/flamenet-relay">flamenet-relay</a>)</td>
 <td><strong>implemented</strong></td>
 </tr>
 <tr>