Hugging Face reportedly in talks to be acquired for $13 billion — Trace