Why Nvidia’s $13 billion Purchase of Hugging Face Matters for Open‑Source AI