from pRegroup JSON形式でのエクスポート - 今は選択範囲のコピーでクリップボードにJSONが入るが、マップ全体をファイルとしてダウンロードできると良い - 日時を記録しておけば作成当時の古いバージョンで開くことができる - 「ユーザはこういうのが欲しいかもしれない」レベルなので優先度低