Even though he's not actually profiting on that difference yet, you still usually owe taxes on it. So we're talking hundreds of thousands of dollars in taxes.
It's no small thing.
Even if I cannot follow the reasoning completely, I think it is rather sad how his time at gitlab ended.
For anyone else in this position, there are companies that will purchase the options immediately and give you liquidity. Yes they charge a significant fee for the service but at least you get something.
Hope he bought the BTC!