Re: [Pharo-dev] How to get rid of GT-Playground