Bug#338204: 12.3: define small for compression of documentation
Section 12.3 says extra documentation should be compressed if it is small.
However, small is not defined. It would be useful if it was; otherwise, there
is no real incentive to compress documentation, as one person's "too large" is
another person's small.
Also, the text says compressed with "gzip -9, unless it is small." Does that
mean I can compress with gzip -1 if it's small, or bzip, or zip?