Question about DOMOutputSpec type definition

The type definition for DOMOutputSpec was changed recently in bb834ae103. Specifically:

-export type DOMOutputSpec = DOMNode | {dom: DOMNode, contentDOM?: HTMLElement} | readonly [string, ...any[]]
+export type DOMOutputSpec = HTMLElement | {dom: HTMLElement, contentDOM?: HTMLElement} | readonly [string, ...any[]]

Would it be possible (or desirable) to use Element rather than HTMLElement? Element is a superset of HTMLElement and also includes things like SVGElement and MathMLElement.

My particular use case is for a node that is trying to render mathml. Here is a stripped down example of what I am doing.

Prior to the type change, this worked fine, but now there’s a TypeError. It seems to me like Element might be the more correct type in this case, but I will defer to those who know the ins-and-outs of such a change.

Thanks in advance!