This is a little sad. That was 1.5 million dollars of vested share for the price of $4050 + taxes.
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.