Huggingface doesn't have a revenue of even close to a billion dollars.