annotator.getHighlights do not crash when there are no anchors