https://www.vavai.net/fix-your-file-extension-problem-on-windows/