Re: [etoys-dev] What about shipping DrGeo in Etoys?