lib.dom.d.ts: some interfaces declared twice at base interfaces

[danielrentz]

TypeScript Version: 4.0.5

Search Terms: ElementCSSInlineStyle

Code
In lib.dom.d.ts, some interfaces have other interfaces twice in their extends list:

• ElementCSSInlineStyle in HTMLElement
  

  TypeScript/lib/lib.dom.d.ts

  Line 6586 in 80dc9d9

  interface HTMLElement extends Element, DocumentAndElementEventHandlers, ElementCSSInlineStyle, ElementCSSInlineStyle, ElementContentEditable, GlobalEventHandlers, HTMLOrSVGElement {

• DocumentAndElementEventHandlers and GlobalEventHandlers in SVGElement
  

  TypeScript/lib/lib.dom.d.ts

  Line 12976 in 80dc9d9

  interface SVGElement extends Element, DocumentAndElementEventHandlers, DocumentAndElementEventHandlers, ElementCSSInlineStyle, GlobalEventHandlers, GlobalEventHandlers, HTMLOrSVGElement, SVGElementInstance {

All these interfaces extend HTMLElement and SVGElement, so they could be moved to interface HTMLOrSVGElement right?

[orta]

This is shipped