Ho sempre creato un txt, e poi modificato estensione semplicemente cambiando il nome del file. Non so perchè ora non si fa. Può dipendere da una formattazione recente??