Forumgoer Detective has posted a thread about Tarski-specific plugins, saying
Maybe if we share our tarski plugins we could find some useful things. In my case i have a very simple but effective plugin, so i don’t have to worry about hacking tarski core files
I’ve added what I hope is a useful tip about hijacking the Tarski sidebar.