AFAIU it’s a soft requirement so that IE can claim that losing taxes is offset by employing (a few) people. The actual tax structuring discussed in this case and similar for other FAANG, is all about where the company is registered vs making revenue vs paying taxes, and how none of it is intuitively what you’d expect.