[etoys-dev] remove the free-standing .gif?