Re: [Pharo-dev] Opening World Tools via Shortcuts