import '@github/details-menu-element';