Re: [etoys-dev] Additions to Etoys Reference Manual