本館が復活したのに伴い，こちらの更新はしばらくお休みです．がしかし，５３時間もメンテやった挙句の果てが「一旦メンテナンス前の状態に戻させていただき、12月7日（木）15時にサービスを再開いたします。」てのは，正直なところ商業プロバイダのやること…