Re: [etoys-dev] Projects in new dev image broken