https://jedok.com/blog/changing-file-extension-in-windows-10-correctly/2021/