Comment by zie

> Ah, memories of Uni, back when storage was fairly expensive, where we had both hard and soft quotas.

Don't worry, disk got expensive again. Disks are usually at least 2X more expensive than a year ago currently. Sometimes 3X more.