Export to JSON from the GUI.