"Check certificates using Tor for anonymity" is reportedly sometimes grey in TBB
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)