The last year I could find for their largest donors from a quick Google search was 2018. Three of the big 5 tech companies are in the top 10 of largest donors. Do you think they are going to donate to Reddit?