OpenDolphin -> OceanMini データ移行ツール

『OpenDolphin HTML/PDF Viewer』で、

OceanMini へのデータ移行は良いチャレンジになるので、取り組む予定です。

と案内が追記されていた。

まあ、これはどこかでやるでしょうね。