According to Google trends, the people who left are an insignificantly small number, Reddit has still grown in search popularity over the last year. However, if you've browsed Reddit since the shutdown, you know that this isn't the whole story, engagement and quality are both down.