He had grants for 0.25% of the company but left when only 1/3 of them were vested . Gitlab will probably IPO for at least a $10 billion valuation. Assuming no further dilution since the grant, the shares would be worth $8.3 million for a $4050 option exercise.