Nvidia buys Hugging Face, the GitHub of AI, for $13 billion | Agent5