Re: [etoys-dev] hopefully a new topic