A few tens of thousand of people. We can see that through the statistics of active monthly users since then. I think many just left Reddit though, but unfortunately not enough. But still, if I look at the content and comments through RedReader it feels all kinda different there. Even more reposts than before, much more bot comments than before, much less comments overall and /r/all just looks different because many previously big subs are not really there anymore, while a lot of more niche subs suddenly appear frequently. It sometimes also feels more toxic with al lthe disinfo and insults but that might just be because a lot of the moderate people left. So the lack of sane comments puts an extra highlight on the shit stains of Reddit.