[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:     
----------------------------------+-----------------------------------------

Comment(by pde):

 So, working from memory here without referring back to the source:

 "Check certificates using tor for anonymity" should really be "only check
 certificates using Tor for anonymity".  If it's unchecked, it means the
 observatory will use a direct SSL connection if it cannot find Tor.

 That option will be greyed out if HTTPS Everywhere failed to successfully
 identify a method for making requests through Tor when it started.  But if
 Tor is installed or running or works correctly on a future browser
 startup, the observatory will switch to using Tor at that time, even if
 this option is unchecked.

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