Tarski 2.4 RC2 has much better trackback support, adds an extra save button to the bottom of the options page, and improves the update notifier’s HTTP transport checking. There are also various bits of refactoring that shouldn’t impact on the user experience. I should also note that the tag is on GitHub if you want to grab it that way.