If you have to rename a large number of files under Windows it is very tedious to do it one-by-one via the gui. Instead of writing a batch file, Microsoft has a suite of tools called PowerToys. PowerToys installs a utility called PowerRename that will do the job.
I did this under Windows 10, but I imagine that it is the same in Windows 11 based on the documentation on the PowerToys installation page.
Installation
- Start a PowerShell as