I wrote:
The menu Navigate -> Refs seems to be broken. I expect that this menu let me jump from cross- and citation-reference to the next, but nothing happens.
Sorry. The menu works., but it doesn't jump from reference to reference. It jumps from one label to the next. So the menu name is a bit confusing. It should better have the name "Label".
regards Uwe
