They're still using a deepseek product, which is explicitly banned