Hello,
In the attached example, applying character formatting to a selection that ends between two annotation ends and undoing the formatting action does not revert the annotations to the exact position as they were before the formatting was applied.
Applying formatting twice and undoing twice crashes the editor because the second undo command inserts unpaired annotations (as it operates on a document state different than the expected one).