https://blog.techsmsbd.com/2017/12/how-to-change-file-extension-in-windows.html