メーリングリストのサーバ移行作業は、一体いつになったら終わるんだろうね？