Re: [Pharo-dev] PharoLauncher feedback