5 ms·

I don't disagree. My point is that Hugging Face did what others could have done. I don't think it was just luck.