Yep - I’m really happy to see that.
After all this extension is meant only as a stop gap and proof. I’d like to think that this extension prove that there are significant number who uses rotate tip actively. That it needed it’s own shortcut.
Now we can do it with native - without the hacky way I did here. ^-^.
The new engine I think will open for developments for other plugin in terms of brush control.