Re: [etoys-dev] Missing expand-arrows