Markus Milleder wrote: > Or better ? > +The whole repository takes about 17G of disk space at the start > +of 2009, growing about 3G per year. > I think you can commit it as obvious, thanks! Paolo.