少し前にOpera(ブラウザ)のブックマークの仕様が変わってからアップデートを躊躇ったり，試しにアップデートしたら使い難かったり，色々と困ったので，いっその事ブックマークはHTMLファイルにして管理しようかと思いました．取り敢えず現状のブックマークを…