Settings
Appearance
Customize how the app looks
Theme
Language
English
Data
Manage your local data
Import data
Import your data from another device
Export data
Download your data to take to another device
Reset data
Delete all sessions and solves and restore the app to its initial state.