Occasionally I want to change the extension for a given file in Windows Explorer, e.g. rename
These valid possibilities are somehow unappealing:
- Show extensions in Explorer, this makes them editable.
- Use the shell command
Is there a way to perform the renaming more quickly.
I assume this will need to add an entry in the contextual menu (right-click)?