Re: [IMP-dev] Reducing the size of the IMP repository