@bubblyfox Right click on the file on your computer and select "Properties". You can change the extension at the top of the pop-up that opens.
