HTTPS-everywhere vs. proxy caching