I expect there’ll be an IPO, Reddit’s owners seem fully intent on cashing out at this point. But it’s not going to get them anywhere near the amount of money that they were hoping for, and that they probably could have got if they hadn’t driven off a cliff like this.