I believe he sold his participation on the redis company far before the shit show.