https://www.webproeducation.org/how-to/windows/how-to-change-file-name-extensions-in-windows/