When opening an annotation card, scroll to highlight. (As in #787)