An incredibly insignificant amount of users migrated over, yes. Protest failed and got decimated. Reddit won. That’s all there is to it.