When I use CTL-F in annotations, what I get is a narrowing down of the entries that have the search terms; there is no down/up arrows to navigate to the actual instance in the text. This is very inconvenient when searching across longer entries. Generally, as has been said many times before, searching notes (and personal documents) is long overdue for major improvements.