Hugs to the Ops team over at HuggingFace. Hope this gets resolved soon.