my advice is to change the setting so that file extensions are shown. I've automatically done that for every new PC over the years so I forget that it's not the default. Otherwise I think you can rename it properly if you right click and go to "properties". I'll update the docs to be clearer