Are you sure? Below lotsofpulp pointed out that they're not listed as a major holder [1] and there was news in 2019 about them considering selling their stake [2]

[1] https://news.ycombinator.com/item?id=36043796

[2] https://news.ycombinator.com/item?id=36044335