Bopa 0.3.1

Reliability and interface improvements for handwriting on iPad and viewing on Mac.

• Keep unsaved ink on screen when a local save fails; Retry must succeed before page navigation or returning to the Library.
• Recover unsaved handwriting into a separate notebook if another device deletes its page or notebook, including during an active stroke or save.
• Flush before opening the page overview so Duplicate includes the latest handwriting.
• Refit whole pages after height-only window resizing while preserving deliberate zoom.
• Keep compact Undo/Redo reachable, enlarge top-bar controls, expose page navigation in Options, and improve selected-tool accessibility.
• Preserve upload failures through successful downloads and fix debounce/retry task lifecycle.
• Defer WebDAV deletion of an open notebook until the editor closes.

Compatible with Notable 0.49.0; no sync-format change. This is a GitHub source release, matching prior Bopa releases, not a TestFlight or App Store upload.

Recovered notebooks contain handwriting, page size, and native paper; already-deleted PDF/image attachments are not recovered. Failed-save navigation guards do not veto system window closure or forced app termination. WebDAV deletion still wins after the notebook closes. Physical stylus latency, palm rejection, and two-device offline/reconnect validation remain hardware follow-ups.

Changes: #68

Validation: full CI passed the Mac build, shared merge-vector check, 340 package tests (12 server-dependent skips), 420 app tests (9 server-dependent skips), and all 8 iPad UI tests. Local quick and UI tiers also passed.