OK

だが、1Gくらいで圧迫されないようにしといた方が楽だよ。
たまにdistinfo全部しらべて、そこにないやつを消すくらいが手頃。