Genuine question: are non-citizen users within the US considered an "export"?
It depends.
Green card holder? No.
Everyone else*: Yes.
* It's far more complicated and nuanced than this.
It depends.
Green card holder? No.
Everyone else*: Yes.
* It's far more complicated and nuanced than this.