Re: [etoys-dev] Help needed for new Etoys release!