Automatic .txt extension