Have any recommendations from Tor Project been issued regarding the new? options in HTTPS Everywhere to use their "SSL Observatory," where certain info is transmitted to them? Now there's one more item for TBB users to make a decision about that could compromise anonymity.