Hey, I was wondering if there was a command that could rename the file extensions of several files at once. What I'd like to do is be able to change all of the .mp3 files in a folder to .ogg. .for some reason grip is naming them wrong

so it would be nice to be able to change all of the names at once.