https://techmoran.pages.dev/posts/change-file-extensions-using-command-prompt/