Extra Tools Options

Problem/Motivation

One of the beta testers for our new site in progress noticed something I thought was a good point. In the top black toolbar, they have their username which when clicked gives them links including Logout. Then they also have the Manage button, which when clicked includes the Extra Tools links: index, caches, cron, updates, and logout. Except that they are a content editor, not an admin, so the only link for them is Logout. Which means they have this Tools section of their menu for nothing except a Logout link which they already have in a more logical place above.

This is far from an urgent issue, but it is a confusing user interface duplication.

Steps to reproduce

1. Install module including Extra Tools
2. Create user without admin access to any of the other tools
3. Masquerade/login as that user and note the unnecessary/confusing link

Proposed resolution

Provide options via configuration screen to specify which of the Extra Tools links we would like to offer, and ensure that the Tools icon does not appear at all for users who cannot access any of the links. In our scenario, I would simply turn off the Logout link for everybody.