Renaming tex to text files to avoid accidental deletion