Re: [Pharo-dev] Exporting Setting preferences