Travis: Initiating build for commit 'fe239518110ab6815ab1e7591ab6ad8f5f5750f5' on branch 'master': refs #5994 add marketplace link to user menu and actually highlight settings in the user menu only if the user is on the user settings for instance to prevent Marketplace and Settings is highlight but also because it does not really make sense otherwise