Rename of HTMLOrSVGElement

[bkardell]

As part of our efforts to develop an acceptable and useful implementation of MathML in chromium which is well defined and explainable, we came across the fact that MathML has no specified IDL. This is especially unusual and actively unhelpful as it means that while HTML specifies how to parse MathML, it's nodes are kind of uniquely useless. As part of this, we are defining proper IDL, which has been discussed at https://github.com/mathml-refresh/mathml/issues/83 and is now in our core spec. The one thing that's currently weird is that we use
https://html.spec.whatwg.org/multipage/dom.html#htmlorsvgelement which makes that no longer a great name. It seems not everyone is exposing this anyways so after some discussion with several people it seems like a good idea to change the name to something else. I'm very happy to send a pull request changing one word, but which word seems to be the question... I think that several of us agree that HTMLOrForeignElement seems ok, as does simply WebElement. Thoughts? Opinions? Concerns?

/@AmeliaBR @fwang @Ms2ger

[ExE-Boss]

There’s already #4702.

[bkardell]

Ok great, unsure how I missed that, but we can close this and use that I suppose