https://www.dopitech.com/how-to-change-file-extension-of-several-files-in-windows/