For Chromium version 33.0.1750.152 Ubuntu 12.04, The settings change is persistent. Related question: Is anyone seeing degraded browsing performance as a resul

For Chromium version 33.0.1750.152 Ubuntu 12.04, The settings change is persistent. Related question: Is anyone seeing degraded browsing performance as a result of this change yet? It is my understanding that these CRLs are spiking in size to multiple megabytes, no?