> Shall we set a release date for Grok 0.14 later this month/early october? I could do the actual release (unless of course someone else would like to play that role). Let's aim for having released grok-0.14 in September. So, what about setting September 29th in my calendar? regards, jw -- Jan-Wijbrand Kolman