Re: [Pharo-users] Issue on enabling developer options in Pharo Launcher