The definition of uppercasing in HTML does not apply to element names
because getting them is covered by the DOM specification and not by the HTML
specification. This is all right with me; I only think that saying "to
uppercase ASCII" explicitly is not necessary.
Chris