[tor-bugs] #8222 [EFF-HTTPS Everywhere]: "Check certificates using Tor for anonymity" disabled. Is it still useful?

[Tor Bug Tracker & Wiki]

#8222: "Check certificates using Tor for anonymity" disabled. Is it still useful?
----------------------------------+-----------------------------------------
 Reporter:  mo                    |          Owner:  pde
     Type:  defect                |         Status:  new
 Priority:  normal                |      Milestone:     
Component:  EFF-HTTPS Everywhere  |        Version:     
 Keywords:                        |         Parent:     
   Points:                        |   Actualpoints:     
----------------------------------+-----------------------------------------
 Some users are confused why "Check certificates using Tor for anonymity"
 is greyed out in Tor Browser. I am quite confident that the Observatory
 will respect the proxy settings even without that setting.

 In my regular Firefox, it is also greyed out. I do have a system Tor and a
 TBB running.

 I know nothing about how HTTPS-E detects Tor, but I suspect the detection
 and/or the whole setting might not be very useful any more?

 (tested on Debian, TBB dev alpha based on Firefox ESR 17.0.2, HTTPS-E
 3.1.3)

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/8222>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online