I haven’t kept up with all the news about this, so is there a definitive yes or no answer that Mozilla sells or even shares user information with partners such as Google? Google is paying Mozilla for something.