[etoys-dev] [SVN][751] Rename