Added menu HTML element to Html.fs

[laurentpayot]

Added the missing menu element to Html.fs so it behaves the same as the ul element, as it is a semantic alternative: https://developer.mozilla.org/en-US/docs/Web/HTML/Element/menu

[laurentpayot]

CI issue? 🤔

[Freymaurer]

Hello @laurentpayot i am currently working on a project restructure, are you willing to rebase the PR/create a new PR when it is ready, or should i just add your code?

[laurentpayot]

Hello @Freymaurer. I did not clone the project locally and git push, but simply did it online with GitHub automagically handling it, and I don’t know if rebasing is easy with GitHub.
By the way I was about to create another PR for missing popover API HTML attributes.
So what do you think is the best?

[Freymaurer]

Easiest is propably to give it some time. When i ping you, you can open a new pr based on the then state. If that is fine with you