fix #3083: have explanation at the navigation menu settings