“Hugging Face recently acquired the huggingface.com domain name after operating with huggingface.co for 7 years.”