https://droidwin.com/change-multiple-file-extensions-at-once-in-windows/