このサイトにWindows 7でwinsxsフォルダの容量を減らす方法が書かれていた．システムツールにそんなものがあったとは知らなかった．