Que pensez-vous de l'introduction en bourse de Reddit ? Êtes-vous satisfait des progrès réalisés ou vous attendiez-vous à quelque chose d'un peu différent ?