Jump to note from PDF

There an option to jump from a note to its PDF location, but not the other way around. This makes difficult to quickly edit a note inside the full-fledged editor (as opposed to the tiny popup that opens over the annotation).