701
Reddit Files to Go Public, Reveals That It Paid CEO $193 Million Last Year
(www.thedailybeast.com)
This is a most excellent place for technology news and articles.
If the company is going public it doesn't really matter, they can just sell the stock.
Employees usually can't just sell their stock whenever they want, especially at the C level. They have scheduled sales because they always have material knowledge about the company that would lead to insider trading.
Regular employees will have long vesting schedules (often backdated to their start date if they worked there while it was private), and often can't sell in certain blackout periods.
But the fines are usually peanuts compared to the profits, so chances are the pigboy is going to sell.