Thank you very much for the kind words! :)
You can change the export format on the file dialog window that appears when clicking on the "Browse" button. It should have a dropdown list next to the file name that contains all available export file types. Alternatively, you can just manually rename the "png" extension to "gif" from in file name.