7.1RC1って、7.0よりも軽くなってない?