Re: [etoys-dev] Encoding for uploading projects