He and Alexis Ohanian (co-founder of Reddit) went in on it together.

Yes, he did. Now he's gonna be the full-time CEO according to this.