NumberOfPRDetailsNavigateToEditor next to related
NumberOfPRDetailsNavigateToEditor next to related

Move NumberOfPRDetailsNavigateToEditor next to related metrics and
comment that it should be renamed to NumberOfNavigateToEditor.

github/VisualStudio,github/VisualStudio,github/VisualStudio