Index: source
===================================================================
--- source	(revision 2129)
+++ source	(revision 2130)
@@ -46332,6 +46332,7 @@
   node</span>. (This happens in particular during the parsing of
   tables with invalid content.)</p>
 
+  <hr>
 
   <p>When the steps below require the UA to <dfn>insert a foreign
   element</dfn> for a token, the UA must first <span>create an element
@@ -46343,6 +46344,11 @@
   whose value is not exactly the same as the element's namespace, that
   is a <span>parse error</span>.</p>
 
+  <p>When the steps below require the user agent to <dfn>adjust MathML
+  attributes</dfn> for a token, then, if the token has an attribute
+  named <code title="">definitionurl</code>, change its name to <code
+  title="">definitionURL</code> (note the case difference).</p>
+
 <!--XXXSVG
   <p>When the steps below require the user agent to <dfn>adjust SVG
   attributes</dfn> for a token, then, for each attribute on the token
@@ -46449,6 +46455,7 @@
     <tr> <td> <code title="">xmlns:xlink</code> <td> <code title="">xmlns</code> <td> <code title="">xlink</code> <td> <span>XMLNS namespace</span>
   </table>
 
+  <hr>
 
   <p>The <dfn>generic CDATA element parsing algorithm</dfn> and the
   <dfn>generic RCDATA element parsing algorithm</dfn> consist of the
@@ -48397,6 +48404,10 @@
     <p><span>Reconstruct the active formatting elements</span>, if
     any.</p>
 
+    <p><span>Adjust MathML attributes</span> for the token. (This
+    fixes the case of MathML attributes that are not all
+    lowercase.)</p>
+
     <p><span>Adjust foreign attributes</span> for the token. (This
     fixes the use of namespaced attributes, in particular XLink.)</p>
 
@@ -49447,6 +49458,12 @@
 
    <dt>Any other start tag</dt>
    <dd>
+
+    <p>If the <span>current node</span> is an element in the
+    <span>MathML namespace</span>, <span>adjust MathML
+    attributes</span> for the token. (This fixes the case of MathML
+    attributes that are not all lowercase.)</p>
+
 <!--XXXSVG
     <p>If the <span>current node</span> is an element in the <span>SVG
     namespace</span>, and the token's tag name is one of the ones in