Salve che tool mi consigliate per convertire un file HTML generato con osx con dei caratteri di terminazione riga non interpretatii da vim? Alessandro