Well, essentially, yes, but Porsche has the cash-settled options not the actual shares so there are more shares available.
However, nevermind that, it is absolutely obvious that Porsche caused the short squeeze by announcing that it held directly and indirectly (through options) around 74% of...