I guess we should also should include that with every Linux kernel release too. The US government has funded a lot of publicly available security technology that you may not even be aware of, even through the NSA (SELinux).

It is a good thing the US government supports these things.

Which is a half truth at best, the list of sponsors includes far more than the US government, including non-govt bodies, and 4300 individuals:

https://www.torproject.org/about/sponsors.html.en

Say what you will about the US government, but you could do worse as far as sinister sponsorship.

The protocol and the code is open. It doesn't matter who funds it, but let it be also clear that the US government is one of the funders. Also, the government is not one coherent entity that all of its bodies want to spy on people.