Editorial: Remove "prefix match"

Andreu Botella · Andreu Botella · commit a4abadf28a5e · 2021-01-07T21:10:12.000+01:00
After the removal of AppCache in whatwg#6153, this algorithm is now unused.
diff --git a/source b/source
@@ -4212,11 +4212,6 @@ a.setAttribute('href', 'https://example.com/'); // change the content attribute
 
   </div>
 
-  <h3 id="case-sensitivity-and-string-comparison">String comparison</h3>
-
-  <p>A string <var>pattern</var> is a <dfn>prefix match</dfn> for a string <var>s</var> when
-  <var>pattern</var> is not longer than <var>s</var> and truncating <var>s</var> to
-  <var>pattern</var>'s length leaves the two strings as matches of each other.</p>
 
 
   <h3 id="policy-controlled-features">Policy-controlled features</h3>
