Re: [Pharo-dev] Removing tools