[etoys-dev] Should the menu options draw new path/follow path/etc be included in the manual