Re: [Pharo-dev] slow Pharo downloading and Travis