If you deal with lots of files (and who doesn’t?), there are surely times when you have to rename a whole bunch of them at the same time. (A classic example: a bunch of image files with ...