“Hugging Face recently acquired the huggingface.com domain name, having previously used huggingface.co for seven years.”