To me Mistral is a cheap kitchen appliance brand so I looked it up. There’s a lot of brands named Mistral. Soap, windsurfing, apparel, alcohol, footwear, to name the first half of the first page of Google results. We can add AI to the pile. :) I’m not sure I understand the motivation behind picking a well-used name. Is there some strategic advantage to this?
Is "Hugging Face" a better name? Sounds like something from the Alien movie.