Comment by odc

> No one cares how big it is.

A lot of people care, especially Linux users.

> Disk space is still cheap on end users machines.

Not cheap for everyone.