v0.72.2

Patch Changes

• A markdown document save that finishes after a newer save of the same document no longer overwrites the newer saved content on disk; the late save is skipped and logged.