All of GitHub's menus & dialogs work without JavaScript. The brilliant @muanchiou@twitter.com figured out that `<details>` elements could make popover menus work without JS https://github.com/muan/details-on-details! We've got open source helpers too: https://github.com/github/details-menu-element https://github.com/github/details-dialog-element