2023年12月、メモアプリ大手のEvernoteがサービス規約を大幅に改悪したため、私はEvernoteからNotionという別のメモアプリ(サービス)にデータ移行して乗り換えた(別記事)。Notionへのデータ移行は拍子抜けするくらいに簡単で、さっそく即日運用を始めて大きな問題は発生していないが、1点だけ少し気になったのは移行後のNotionのデータで空行がオミットされていたこと。Evernoteと異なり、Notionでは文章の塊をパラグラフ(ブロック?)として認識する機能があり、空行オミットはこの仕様差分を吸収するための措置ではあるのだが、不可逆な変換が入ってしまうので念のために変換前の…