to group compress or not to group compress

[Stefan Monnier]

>> Speed of common operations is top of the list of metrics. We also rightly
>> get assessed on total disk space usage, particularly for large projects,
>> so we should include it as well.
> I agree on both points. I don't really have a good idea of the relative
> weight.

I think that size is not much of an issue in itself: it's only relevant
to the extent that by reducing size you can reduce the time spent
accessing the network/disk.


        Stefan