HTMLポップオーバーを使った自動的に閉じる通知の作成

HTMLの`popover`属性は、ボタンやJavaScriptで開閉できる最前面の要素に変換します。ポッパーは様々な方法で閉じることができますが、自動的に閉じるオプションはありません。プリーティには使えるテクニックがあります。