2018-09-08 ■ はてなブログに移転しようと思って、試しに過去データをインポートしてみたものの、 かなり面倒くさいことになることが判明して頭を抱える。 いずれはどこかで何かしらやることになるだろうけど、 やるならゼロから始める感じかな。