Definitely going to provide an export functionality. I've deliberated a lot over whether to have notes saved as actual files. Right now they are saved in a Realm database (https://www.mongodb.com/docs/realm/), which has been the best offline-first database that I've found. Storing notes in a database has a number of advantages, like being able to store meta-data on files, indexing them for easy searching, and with Realm, I'm able to auto-resolve sync conflicts.

I still may store notes as files in the future, but for now, this solution seems to work best.