On July 22, developers working on the platform Reddit, the social news discussion aggregation