You’re right about that, but don’t underestimate the impact on reddit. I, for one, was reluctant to leave, and I saw the quality of all my subscribed subs to deteriorate heavily, even after dust settling. They may have still most of their users, but lost a lot of key people who helped in keeping the communities healthy and active.