Script updating gh-pages from baf3d3c. [ci skip]

Author: ID Bot

index.html

@@ -48,6 +48,14 @@ <h2>Preview for branch <a href="264-change-reference-of-ecdh-key-encoding-to-iet
         <td>same as main</td>
       </tr>
     </table>
+    <h2>Preview for branch <a href="mikeo_proof_paper">mikeo_proof_paper</a></h2>
+    <table id="branch-mikeo_proof_paper">
+      <tr>
+        <td><a href="mikeo_proof_paper/draft-ietf-lamps-pq-composite-kem.html" class="html draft-ietf-lamps-pq-composite-kem" title="Composite ML-KEM for use in X.509 Public Key Infrastructure (HTML)">Composite ML-KEM</a></td>
+        <td><a href="mikeo_proof_paper/draft-ietf-lamps-pq-composite-kem.txt" class="txt draft-ietf-lamps-pq-composite-kem" title="Composite ML-KEM for use in X.509 Public Key Infrastructure (Text)">plain text</a></td>
+        <td><a href="https://author-tools.ietf.org/api/iddiff?url_1=https://lamps-wg.github.io/draft-composite-kem/draft-ietf-lamps-pq-composite-kem.txt&amp;url_2=https://lamps-wg.github.io/draft-composite-kem/mikeo_proof_paper/draft-ietf-lamps-pq-composite-kem.txt" class="diff draft-ietf-lamps-pq-composite-kem">diff with main</a></td>
+      </tr>
+    </table>
     <script>
 window.onload = function() {
   var referrer_branch = 'main';