Re: [Pharo-dev] Settings: where are they stored?