They did. Defense Production Act (50 U.S.C. § 4511 );Export Control Reform Act, 50 U.S.C. § 4812 are just two of them.

[flagged]

Genuine question: are non-citizen users within the US considered an "export"?

	▲	2 hours ago \| parent \| next [-]
		[deleted]
	▲	naturalmovement an hour ago \| parent \| prev [-]
		It depends. Green card holder? No. Everyone else: Yes. It's far more complicated and nuanced than this.