How large is their headcount these days? And how many actually useful products have they launched in the last decade? You could probably go full Twitter and fire 90% of the people, and it would make no difference from a user perspective.