Re: [Pharo-dev] VM repository rename