Just to let the people who volunteered to test 1.2 for us know, the beta is now available to download. Check this forum thread for details. This hopefully means the 1.2 release isn’t too far away, and I’ve updated the roadmap to reflect this. If you’d like to help test Tarski, I’ve re-opened the signup thread.