Well, I asked Gemini to make it. I'm not sure how helpful this is, but it can save time instead of manually doing it if you're doing a lot of files. It doesn't convert anything, just renames the extension. There is a version that can be dropped into the folder where the files are to be changed. This is for ease of use. The other version is for the user to specify the path so it can be left in one place without moving it all over.
https://github.com/JakobAir/extension-renamer
https://github.com/JakobAir/extension-renamer









