Arrangement of items in the "Navigation" menu

[Bangerth, Wolfgang]

> > going through the things in the "Navigation" menu, I've found that the
> > items aren't particularly well grouped (see attached snapshot):
> > [...]
> 
> sounds fine to me.
> 
> to make sure, can you please report this as a "JJ:" kind of wish
> request in 
> our bugtracker?

I'm not sure about the "JJ:" part, but I've open this report:
  https://bugs.kde.org/show_bug.cgi?id=274301

Best
 W.