Script updating gh-pages from 6b8aa18. [ci skip]

Author: ID Bot

index.html

@@ -40,6 +40,14 @@ <h2>Preview for branch <a href="lukevalenta-patch-1">lukevalenta-patch-1</a></h2
         <td><a href="https://author-tools.ietf.org/api/iddiff?url_1=https://davidben.github.io/merkle-tree-certs/draft-davidben-tls-merkle-tree-certs.txt&amp;url_2=https://davidben.github.io/merkle-tree-certs/lukevalenta-patch-1/draft-davidben-tls-merkle-tree-certs.txt" class="diff draft-davidben-tls-merkle-tree-certs">diff with main</a></td>
       </tr>
     </table>
+    <h2>Preview for branch <a href="proof-explain">proof-explain</a></h2>
+    <table id="branch-proof-explain">
+      <tr>
+        <td><a href="proof-explain/draft-davidben-tls-merkle-tree-certs.html" class="html draft-davidben-tls-merkle-tree-certs" title="Merkle Tree Certificates (HTML)">Merkle Tree Certificates</a></td>
+        <td><a href="proof-explain/draft-davidben-tls-merkle-tree-certs.txt" class="txt draft-davidben-tls-merkle-tree-certs" title="Merkle Tree Certificates (Text)">plain text</a></td>
+        <td><a href="https://author-tools.ietf.org/api/iddiff?url_1=https://davidben.github.io/merkle-tree-certs/draft-davidben-tls-merkle-tree-certs.txt&amp;url_2=https://davidben.github.io/merkle-tree-certs/proof-explain/draft-davidben-tls-merkle-tree-certs.txt" class="diff draft-davidben-tls-merkle-tree-certs">diff with main</a></td>
+      </tr>
+    </table>
     <h2>Preview for branch <a href="notation">notation</a></h2>
     <table id="branch-notation">
       <tr>