[etoys-dev] [SVN][1680] Release-HowTo.txt: Minor improvements