Exporting Settings

To export settings open the menu at top right:

And in the menu that appears click Export Settings:

Select the Format you would like in the dialog that appears. See discussion of the various formats here.

Finally, click OK to download the exported settings file: