メーリングリストはどうなったんだろう。