Nope: We're subject to the Annotation model API there, so we use a `replaceAnnotations` methods, but the semantics of `replaceAnnotations(annotationsToRemove, annotationsToAdd)` is `addAnnotations(annotationsToAdd)` when `annotationsToRemove == ∅`, as it is the case here.