I don't think that's splitting hairs. It's often easy to increase the size of a partition (for example, on a plain disk, delete the partition 2 and mark partition 1 to now go to the former end of partition 2) , but you have to have complex tools that understand the filesystem at its lowest level in order to increase filesystem size, and many people, even professionals, can forget that distinction -- that partitions and filesystems are not the same thing. I've spent many hours of my life telling that to (admittedly, not very good) Unix admins.