[throwaway-1283]

Yes, and the people who have really made a lot of money (the founders, execs, earliest employees) have likely already had several opportunities to cash out over the years, so the market is already priced accordingly.