The "element-tagname" comment is HTMLElement-specific but should not be.

[MichaelAllenWarner]

The comment for Element.tagName currently reads "Returns the HTML-uppercased qualified name." That's true of HTMLElement.tagName specifically, but not of Element.tagName generally (e.g., neither SVGElement.tagName nor MathMLElement.tagName is uppercase).