Er... I'm afraid I don't remember what you're talking about. The
current draft does address case sensitivity of names:
http://www.w3.org/hypertext/WWW/MarkUp/html-spec/html-spec_2.html#SEC12
|Names
|
|A name consists of a letter followed by up to 71 letters, digits,
|periods, or hyphens. Element names are not case sensitive, but
|entity names are. For example, `<BLOCKQUOTE>', `<BlockQuote>',
|and `<blockquote>' are equivalent, whereas `&' is different
|from `&'.
Ah! now I remember. It was about attribute names and attribute values.
How about this:
diff -b -w -u -r1.9 html-sgml.sgm
--- 1.9 1995/06/02 18:55:57
+++ html-sgml.sgm 1995/06/08 13:13:40
@@ -201,10 +201,11 @@
<h3>Names
A name consists of a letter followed by up to 71 letters, digits,
-periods, or hyphens. Element names are not case sensitive, but entity
-names are. For example, <code><BLOCKQUOTE></>,
-<code><BlockQuote></>, and <code><blockquote></> are equivalent,
-whereas <code>&amp;</> is different from <code>&AMP;</>.
+periods, or hyphens. Element and attribute names are not case
+sensitive, but entity names are. For example,
+<code><BLOCKQUOTE></>, <code><BlockQuote></>, and
+<code><blockquote></> are equivalent, whereas <code>&amp;</> is
+different from <code>&AMP;</>.
In a start-tag, the element name must immediately follow the tag
open delimiter <code><</>.
@@ -233,6 +234,7 @@
</note>
<li>A name token (a sequence of letters, digits, periods, or hyphens).
+Name tokens are not case sensitive.
<note>Some historical implementations allow any character
except space or <code>></> in a name token.
</note>