Note that the 3.5bn (withholding) tax under discussion is not about options. It's about RSUs. (There is also a less important amount of tax due - by more ancie

Note that the 3.5bn (withholding) tax under discussion is not about options. It's about RSUs. (There is also a less important amount of tax due - by more ancient employees - which is about options.)