Missing "Tool Deactivation" Observable

Hi there,

I’m wondering if there’s an observable / notifier for “Tool deactivation”.
The problem: the user can deactivate a tool while it is running.
For proper shutdown / cleanup it would be great, if the tool could be notified about the deactivation

If not possible, this would be a feature request