It will be a small percentage of Reddit. But even small percentage is way, way more than a few hundred. And the most active users (mods, post makers, etc.) are the most likely to move. The casuals who just scroll are the most likely to stay. It’s the former that make most of the content.