Tor revealed to be funded by the U.S. government.