https://flnug.com/tech/leonardo/how-to-batch-change-file-extensions-for-windows-files/