Re: [etoys-dev] Pen trails bug