Re: [etoys-dev] Consolidating releases