[ale] AARG Firefox devs delete several important UI options

[Mike Harrison]

> E) Options to turn off or on SSL3 or TLS1 are gone.  The entire 
> certificate management interface is supposed to be gone, but I think

Ouch, That's gonna hurt.