Index: source
===================================================================
--- source	(revision 2127)
+++ source	(revision 2128)
@@ -44495,19 +44495,18 @@
    <code>command</code>, <code>datagrid</code>, <code>dd</code>,
    <code>details</code>, <code>dialog</code>, <code>dir</code>,
    <code>div</code>, <code>dl</code>, <code>dt</code>,
-   <code>embed</code>, <code>eventsource</code>
-   <code>fieldset</code>, <code>figure</code>, <code>footer</code>,
-   <code>form</code>, <code>frame</code>, <code>frameset</code>,
-   <code>h1</code>, <code>h2</code>, <code>h3</code>, <code>h4</code>,
-   <code>h5</code>, <code>h6</code>, <code>head</code>,
-   <code>header</code>, <code>hr</code>, <code>iframe</code>, <!--
-   <code>image</code>, (commented out because this isn't an element
-   that can end up on the stack, so it doesn't matter) -->
-   <code>img</code>, <code>input</code>, <code>isindex</code>,
-   <code>li</code>, <code>link</code>, <code>listing</code>,
-   <code>menu</code>, <code>meta</code>, <code>nav</code>,
-   <code>noembed</code>, <code>noframes</code>, <code>noscript</code>,
-   <code>ol</code>, <code>optgroup</code>, <code>option</code>,
+   <code>embed</code>, <code>eventsource</code> <code>fieldset</code>,
+   <code>figure</code>, <code>footer</code>, <code>form</code>,
+   <code>frame</code>, <code>frameset</code>, <code>h1</code>,
+   <code>h2</code>, <code>h3</code>, <code>h4</code>, <code>h5</code>,
+   <code>h6</code>, <code>head</code>, <code>header</code>,
+   <code>hr</code>, <code>iframe</code>, <!-- <code>image</code>,
+   (commented out because this isn't an element that can end up on the
+   stack, so it doesn't matter) --> <code>img</code>,
+   <code>input</code>, <code>isindex</code>, <code>li</code>,
+   <code>link</code>, <code>listing</code>, <code>menu</code>,
+   <code>meta</code>, <code>nav</code>, <code>noembed</code>,
+   <code>noframes</code>, <code>noscript</code>, <code>ol</code>,
    <code>p</code>, <code>param</code>, <code>plaintext</code>,
    <code>pre</code>, <code>script</code>, <code>section</code>,
    <code>select</code>, <code>spacer</code>, <code>style</code>,
@@ -48321,6 +48320,21 @@
 
    </dd>
 
+   <dt>A start tag whose tag name is one of: "optgroup", "option"</dt>
+   <dd>
+
+    <p>If the <span>stack of open elements</span> <span title="has an
+    element in scope">has an <code>option</code> element in
+    scope</span>, then act as if an end tag with the tag name "option"
+    had been seen.</p>
+
+    <p><span>Reconstruct the active formatting elements</span>, if
+    any.</p>
+
+    <p><span>Insert an HTML element</span> for the token.</p>
+
+   </dd>
+
    <dt>A start tag whose tag name is one of: "rp", "rt"</dt>
    <dd>