Offline-first productivity, focus, and habit tracking.