[Etoys] "Help" button "not used anymore" in Etoys-dev 4.0 ?