Editorial: use the s flag for matching ol/li's type attribute

This is not a normative change, just a new, more layered, specification
mechanism (using CSS instead of prose).

Closes whatwg#4158.

source

@@ -67614,8 +67614,7 @@ contradict people?
   <p><span data-x="attribute selector">Attribute selectors</span> on an <span
   data-x="HTML elements">HTML element</span> in an <span data-x="HTML documents">HTML
   document</span> must treat the <em>values</em> of attributes with the following names as
-  <span>ASCII case-insensitive</span>, with one exception as noted
-  <a href="#attribute-selector-case-sensitive">in the rendering section</a>:</p>
+  <span>ASCII case-insensitive</span>:</p>
 
   <!-- based on Mozilla's list, which was itself based on HTML4 -->
   <!-- WebKit's was identical at the time of writing except as noted below -->
@@ -67662,7 +67661,7 @@ contradict people?
    <li><code data-x="">shape</code>
    <li><code data-x="">target</code>
    <li><code data-x="">text</code>
-   <li><code data-x="">type</code> (except as specified in the rendering section)
+   <li><code data-x="">type</code>
    <li><code data-x="">valign</code>
    <li><code data-x="">valuetype</code>
    <li><code data-x="">vlink</code>
@@ -67674,6 +67673,11 @@ contradict people?
    data-x="">#ffffff</code>, <code data-x="">#FFFFFF</code> and <code data-x="">#fffFFF</code>. This
    happens even if <code data-x="">bgcolor</code> has no effect for a given element (e.g.,
    <code>div</code>).</p>
+
+   <p>The selector <code data-x="">[type=a <!--grammar-check-override-->s]</code> will match any
+   HTML element with a <code data-x="">type</code> attribute whose value is <code
+   data-x="">a</code>, but not whose value is <code data-x="">A</code>, due to the <code
+   data-x="">s</code> flag.</p>
   </div>
 
   <p>All other attribute values and everything else must be treated as entirely
@@ -112173,19 +112177,15 @@ dir, menu, ul {
   <pre><code class="css" data-x="">@namespace url(http://www.w3.org/1999/xhtml);
 
 ol[type="1"], li[type="1"] { list-style-type: decimal; }
-ol[type=a], li[type=a] { list-style-type: lower-alpha; }
-ol[type=A], li[type=A] { list-style-type: upper-alpha; }
-ol[type=i], li[type=i] { list-style-type: lower-roman; }
-ol[type=I], li[type=I] { list-style-type: upper-roman; }
+ol[type=a <!--grammar-check-override-->s], li[type=a <!--grammar-check-override-->s] { list-style-type: lower-alpha; }
+ol[type=A <!--grammar-check-override-->s], li[type=A <!--grammar-check-override-->s] { list-style-type: upper-alpha; }
+ol[type=i s], li[type=i s] { list-style-type: lower-roman; }
+ol[type=I s], li[type=I s] { list-style-type: upper-roman; }
 ul[type=none i], li[type=none i] { list-style-type: none; }
 ul[type=disc i], li[type=disc i] { list-style-type: disc; }
 ul[type=circle i], li[type=circle i] { list-style-type: circle; }
 ul[type=square i], li[type=square i] { list-style-type: square; }</code></pre>
 
-  <p id="attribute-selector-case-sensitive">In the above style sheet, the <span
-  data-x="attribute selector">attribute selectors</span> for the <code>ol</code> and <code>li</code>
-  elements are expected to be treated as <span>case-sensitive</span>.</p>
-
   <p>When rendering <code>li</code> elements, non-CSS user agents are expected to use the
   <span>ordinal value</span> of the <code>li</code> element to render the counter in the list item
   marker.</p>
@@ -121920,6 +121920,7 @@ INSERT INTERFACES HERE
   Daniel Schattenkirchner,
   Daniel Sp&aring;ng,
   Daniel Steinberg,
+  Daniel Tan,
   Daniel Trebbien,
   Danny Sullivan,
   Darin Adler,