A note-taking app that syncs with any WebDAV server