But do we want whatever users are still on Reddit? If they all come here, we will have to find a different place