Re: [etoys-dev] Etoys 5 and Ubuntu issue?