Now it’s just a question of whether old.reddit will be killed off before the IPO or shortly afterwards. Either way, I doubt it makes it to the summer.

I hope you’re right.

I sincerely hope so, many hobby and interest communities absolutely need more active members to achieve stable activity.