https://lrvqjqhxxn.blogspot.com/2021/07/how-to-change-file-extension-windows-10.html