I floated pretty much the same idea in the dedicated eraser tool feature suggestion thread a few years back (because this solution could give a dedicated eraser hotkey for anything tagged as such, while also benefiting all users), but I think it went largely unnoticed.
I’m also swapping my tenbrushes in and out frequently and definitely think this would be useful!
However, since tenbrushes itself is only a script, idk what can be done and I’m unable to code anything myself