Taking you to the card → Hugging Face's $13B ask comes with real revenue — and a bigger argument