Switched-off tools
The tool list stays stable and a switched-off tool is restricted with
allowed_tools where the provider profile supports it; otherwise the tool is
removed from the list (one cache miss per flip).
The tool list stays stable and a switched-off tool is restricted with
allowed_tools where the provider profile supports it; otherwise the tool is
removed from the list (one cache miss per flip).