There is a blog post now: https://mistral.ai/news/leanstral