I wonder how many tor users actually know this. tor would probably not exist in the same capacity without that funding