I believe huggingface mostly subsist on investments and the amount they earn directly is still pretty small compared to expenses, is that no longer the case?
I guess I'm now "old" in the sense that it never occurred to me to search for this kind of info on Twitter.