Ok, the filter is written. The interface is called TabContentFilter and can change icon, text and tooltip of a any tab. The filter can be installed as property (see DockController.getProperties()) using the key “StackDockStation.TAB_CONTENT_FILTER”.
I don’t know when the next release is (maybe 2-4 weeks) but it is already in the repository.