>>/15028/
I don't think originally but it also doesn't matter as 99% of US tech companies are effectively created and funded by the government too