A smart note-taking app: Omni notes