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

Author: ID Bot

clarify-verification/draft-davidben-tls-merkle-tree-certs.html

@@ -3401,7 +3401,7 @@ <h3 id="name-verifying-certificate-signa">
             <p id="section-7.2-2.5.1">Construct a MerkleTreeCertEntry of type <code>tbs_cert_entry</code> with contents the TBSCertificateLogEntry. Let <code>entry_hash</code> be the hash of the entry, <code>MTH({entry}) = HASH(0x00 || entry)</code>, as defined in <span><a href="https://rfc-editor.org/rfc/rfc9162#section-2.1.1" class="relref">Section 2.1.1</a> of [<a href="#RFC9162" class="cite xref">RFC9162</a>]</span>.<a href="#section-7.2-2.5.1" class="pilcrow">¶</a></p>
 </li>
           <li id="section-7.2-2.6">
-            <p id="section-7.2-2.6.1">Let <code>expected_subtree_hash</code> be the result of evaluating the MTCProof's <code>inclusion_proof</code> for entry <code>index</code>, with hash <code>entry_hash</code>, of a subtree <code>[start, end)</code>, as described in <a href="#evaluating-a-subtree-inclusion-proof" class="auto internal xref">Section 4.2.1</a>. If evaluation fails, abort this process and fail verification.<a href="#section-7.2-2.6.1" class="pilcrow">¶</a></p>
+            <p id="section-7.2-2.6.1">Let <code>expected_subtree_hash</code> be the result of evaluating the MTCProof's <code>inclusion_proof</code> for entry <code>index</code>, with hash <code>entry_hash</code>, of the subtree described by the MTCProof's <code>start</code> and <code>end</code>, following the procedure in <a href="#evaluating-a-subtree-inclusion-proof" class="auto internal xref">Section 4.2.1</a>. If evaluation fails, abort this process and fail verification.<a href="#section-7.2-2.6.1" class="pilcrow">¶</a></p>
 </li>
           <li id="section-7.2-2.7">
             <p id="section-7.2-2.7.1">If <code>[start, end)</code> matches a trusted subtree (<a href="#trusted-subtrees" class="auto internal xref">Section 7.4</a>), check that <code>expected_subtree_hash</code> is equal to the trusted subtree's hash. Return success if it matches and failure if it does not.<a href="#section-7.2-2.7.1" class="pilcrow">¶</a></p>

clarify-verification/draft-davidben-tls-merkle-tree-certs.txt

@@ -1673,8 +1673,9 @@ Table of Contents
 
    6.  Let expected_subtree_hash be the result of evaluating the
        MTCProof's inclusion_proof for entry index, with hash entry_hash,
-       of a subtree [start, end), as described in Section 4.2.1.  If
-       evaluation fails, abort this process and fail verification.
+       of the subtree described by the MTCProof's start and end,
+       following the procedure in Section 4.2.1.  If evaluation fails,
+       abort this process and fail verification.
 
    7.  If [start, end) matches a trusted subtree (Section 7.4), check
        that expected_subtree_hash is equal to the trusted subtree's