v0.1.13

Patch release for notes sync reliability.\n\n- Fixes server-side CRDT deduplication so a restarted mobile app cannot have newer edits dropped when it reuses a local client sequence.\n- Advances the Notes client sequence from existing document updates when opening notes.\n- Removes the redundant settings action from the Notes file action bar.\n\nValidation: workspace checks, CRDT tests, backend tests, production builds, performance budget, color audit, Docker smoke test, signed Android APK verification.