Re: [etoys-dev] New Etoys Installer (#2237) for testing