今までの配布サイトの提供元が 9月末にサービス終了するため、http://toro.d.dooo.jp/ に本配布サイトを移転することにしました。概ね移転作業が終わっていますが、一部不整合があるかもしれません。尚、ほとんどの配布物の連絡先等は、旧配布サイトのままとなっています。主な配布物についてはドキュメントを修正する予定です。