Oh no. I use huggingface all the time. Sad news.