Při dnešních kapacitách disků ~500 GB a stále nenažranějších nárocích programů není myslím 20 GB problém... A určitě lepší mít 50% volných než pak mít starosti s plným diskem a změnou velikosti oddílů.

Jinak v tomto konkrétním případě jsem taky přesvědčen, že těch 5GB by mělo na systém stačit, při dodržení určitých pravidel.