What happens to their stock if they sell?
Personally, I lost a shitload of money on HashiCorp. I've "emotionally bought" 2 stocks in my life and Hashi is one of them. I like Mitchell and Armon very much, they're actually seriously great humans, both of them, but that's an awful reason to buy a stock. If I can break even and they sell for the IPO price I'll be very pleased, but that seems impossible heh. :)