, trovato, e il bello è che era anche già installato .... Avevo cercato nel menù sviluppo, editor, per vedere che editor html c'erano, e invece questi furbi lo hanno messo direttamente alla voce "Internet".. Grazie dell'aiuto..