I'm not sure which page of the link above (the tax return) I'm supposed to look at... Where does it say the US govt is funding Tor, and if so, by what amount are they funding Tor?