Need to update [HTMLConstructor] definition to account for constructor operations #4890
Description
https://html.spec.whatwg.org/multipage/dom.html#htmlconstructor says:
The [HTMLConstructor] extended attribute must take no arguments, and must not appear on anything other than an interface. It must appear only once on an interface, and the interface must not be annotated with the [Constructor] or [NoInterfaceObject] extended attributes.
There is no more [Constructor] extended attribute; there are constructor operations, and this spec bit should talk about them instead. See also whatwg/webidl#700