Edit requests of GitHubのポップアップメニューはdetailsタグと:beforeが使われててクレバーだった