Curious about the financials behind this deal. Did they close above what they raised? What’s in it for HuggingFace?