rename text documents with .txt extension