Additional Features
When you record one or more lap times, the export features in the menu is made available, under the entry . Click on it and then choose a name for the exported file. You can export in the Comma Separated Values (CSV) format or in the JSON one.