I’ve never heard of the Halloween files I just looked it up and that’s just so crazy. I don’t know what’s going on behind closed doors in their c-suite but I wouldn’t be surprised if this fund is a way to get their hands into open source projects. Like you said there’s no explicit proof so it’s best to be be cautious.