SSL Observatory Preferences show inaccurate options within TBB

Within the TBB, when "Use the Observatory" is selected (not the default) the Observatory preferences look as the attachment shows:

Within TBB 4.5:

Greyed out: "Check certificates using Tor for anonymity" Checked: "Check certificates even if Tor is not available"

This seems inaccurate. Peter points out this may be a relic from when HTTPS Everywhere looked for Tor on 9050. The new Tor SOCKS port within the browser is 9051.

This is not causing any leak, however: the wireshark filter "host observatory.eff.org" shows no packets coming through, while the same filter shows packets within Firefox. The TBB may be transparently proxying these certificate reports.