Re: [etoys-dev] Trouble with Etoys