GeezerVison is showing developer.mozilla.org — HTMLMenuElement - Web APIs | MDN
HTMLMenuElement
Baseline
Widely available
This feature is well established and works across many devices and browser versions. It’s been available across browsers since July 2015.
The HTMLMenuElement interface provides additional properties (beyond those inherited from the HTMLElement interface) for manipulating a <menu> element.
<menu> is a semantic alternative to the <ul> element.
Inherits methods from its parent, HTMLElement, and its ancestors.
HTMLMenuElement doesn't implement specific methods.