Apparently BlueCoat [now has a signed CA](https://crt.sh/?id=19538258). Can we please make sure it's not trusted in the Tor Browser?