午前2時半からメール処理。けっこう溜まっている。syncha が遅いという報告があったので、xargs で20並列で動くようにしたところ、2時間ほどで終わるように。元々の見積もりでは2週間だったので、だいぶましになった。（その後、そもそもサーバにインストー…