The removals come as Hugging Face is banned in China, which the company called “regrettable.”