mgr/dashboard: make greyed out `Delete` button for pools more straightforward
On the pools page, when a pool is selected, the `Delete` menu entry is greyed out. This is due to the `mon_allow_pool_delete` option being set on `false`. To enable the pool deletion, the user has to go to `Cluster => Configuration`, change the value of `Level` from `basic` to `advanced` and filter for `mon_allow_pool_delete`. Then select the option and click `Edit`, enable the checkbox `mon` and save the changes.
Currently, the `Delete` menu entry has a tooltip that has been overseen by at least two people, of which one was a developer. I therefore recommend to either reduce the delay for the tooltip to be shown to 0 (might be around 500ms at this moment) or add an information icon to the tooltip.
In addition to that, the text shown needs to be enhanced to point the user to the correct page, preferably by providing a link. The information about which filter needs to be applied might also come in handy, as it might not be clear why the search doesn't reveal the setting when searched for it.