Simple 1-liner that renames all texts files in a folder ending with ".sf1" to ".txt"

reName.py

import os

# This will rename all files ending with ".sf1" to ".txt"
[os.rename(f, f.replace('.sf1', '.txt')) for f in os.listdir('') if f.endswith('.sf1')]