土曜日に家のデスクトップパソコンの、 Edgeの「お気に入り」が、 一部(と言うか大部分)消えた。 ノートパソコンの方に、 いつの間にか同期されていた「お気に入り」があって、 それをHTMLでエクスポートして、 復元した。 あれは何だったんだろうか。 それ…