Does anyone knows why his name doesn't appear even once in the SEC S1 filing [1] for the IPO?

He could have sold all his shares before the IPO, but thought it was weird.

[1] https://www.sec.gov/Archives/edgar/data/1288847/000119312514...