Export from iOS using the JSON format.