Reddit has been using these fonts internally for a few years in their marketing. They were not available to the public. They have been made available this week

Reddit has been using these fonts internally for a few years in their marketing. They were not available to the public. They have been made available this week, hence the announcement. (The Github repo was made public a few weeks ago in preparation for adding them to the Google Fonts service.)