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

draft-ietf-quic-transport.html

@@ -3849,9 +3849,11 @@ <h3 id="name-loss-detection-and-congesti">
 <p id="section-9.4-5">A sender can make exceptions for probe packets so that their loss detection is
 independent and does not unduly cause the congestion controller to reduce its
 sending rate.  An endpoint might set a separate timer when a PATH_CHALLENGE is
-sent, which is cancelled when the corresponding PATH_RESPONSE is received.  If
+sent, which is cancelled if the corresponding PATH_RESPONSE is received. If
 the timer fires before the PATH_RESPONSE is received, the endpoint might send a
-new PATH_CHALLENGE, and restart the timer for a longer period of time.<a href="#section-9.4-5" class="pilcrow">¶</a></p>
+new PATH_CHALLENGE, and restart the timer for a longer period of time.
+This timer SHOULD be set as described in Section 5.3 of <span>[<a href="#QUIC-RECOVERY" class="xref">QUIC-RECOVERY</a>]</span> and
+MUST NOT be more aggressive.<a href="#section-9.4-5" class="pilcrow">¶</a></p>
 </section>
 </div>
 <div id="migration-linkability">

draft-ietf-quic-transport.txt

@@ -2954,12 +2954,12 @@ Internet-Draft           QUIC Transport Protocol           February 2020
    A sender can make exceptions for probe packets so that their loss
    detection is independent and does not unduly cause the congestion
    controller to reduce its sending rate.  An endpoint might set a
-   separate timer when a PATH_CHALLENGE is sent, which is cancelled when
+   separate timer when a PATH_CHALLENGE is sent, which is cancelled if
    the corresponding PATH_RESPONSE is received.  If the timer fires
    before the PATH_RESPONSE is received, the endpoint might send a new
    PATH_CHALLENGE, and restart the timer for a longer period of time.
-
-
+   This timer SHOULD be set as described in Section 5.3 of
+   [QUIC-RECOVERY] and MUST NOT be more aggressive.