> Nope: We're subject to the Annotation model API there, so we use a method called replaceAnnotations , but the semantics of replaceAnnotations(annotationsToRemove, annotationsToAdd) is addAnnotations(annotationsToAdd) when annotationsToRemove == ∅, as it is the case here.

But the two calls could be stepping on each other! So you could be removing annotations that were just added by mark occurrences (or the other way around).