move Insights and Campaigns from global navbar to user menu
Created by: sqs
- These links take up precious width in the global navbar. Often a search query will be long (for example, because it contains a repo name). In that case, it's much more valuable to have a wide query input than to show these links.
- The user menu previously contained some other similar links, such as "Extensions" and "Saved searches". It seems inconsistent to show those in the user menu but to show these others in the global navbar. Now they are all in the user menu, which means the user knows there's 1 place they can go for anything like this.