bug: case-insensitive checking of IDs

I notice that HTML4 checking performed by the markup validator is raising
false-positive "duplicate ID" errors for IDs the match case insensitively.

Is that intentional? If so, why? I know that browsers certainly don't
process IDs case insensitively, and I'm not aware of other UAs that do.

If it's not intentional, is it a known issue, or should I raise a new bug
for it?

For examples of some case-insensitive "duplicate ID" false positives (400+
of them), see:

http://validator.w3.org/check?uri=http%3A%2F%2Fwww.whatwg.org%2Fspecs%2Fweb-apps%2Fcurrent-work%2Fmultipage%2Fnamed-character-references.html&charset=%28detect+automatically%29&doctype=HTML+4.01+Strict&group=1&user-agent=W3C_Validator%2F1.1

or

http://is.gd/g8Bpi 

-- 
Michael(tm) Smith
http://people.w3.org/mike

Received on Tuesday, 19 October 2010 19:58:24 UTC