Re: [Etoys] Can we turn an animation into a gif file?