[Pharo-users] Re: How to save a playground content in a local file ?