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>