Sort of. The Pando article they reference, which showed me more about them than the author, points out that they try to promote the funding as "independent" source rather than U.S. government-backed groups made by or tight with CIA. All the press around the situation would make you think it's a group for the people, by the people, and so on with some historical military connection. Whereas, the people aren't funding most of Tor: "The Man" Tor appears to oppose is. Even in this conversation, they're worried about that image situation and how to minimize exposure that one CIA person might work in Tor despite the fact that such types are funding it it. If it's so transparent, you wouldn't have so much work on that.
Who knows why it's coming up & it's not secret as you said. Yet, Tor pages I've read certainly weren't describing themselves as a tool of U.S. intelligence agencies funded by their fronts. They seem to work at avoiding that in favor of some image independent that U.S. intelligence just happens to also like and use. Which is inaccurate.
I'm curious. If we take away all U.S. govt connected funding, then how much is left for the developers and how many will that be? That should be a hint at level of independence.