[HTTPS-Everywhere] HTTPS Everywhere 4.0 progress update, and goodbye!

[Jacob S Hoffman-Andrews]

 > So it's currently live for stable-branch desktop users.

I just hit Tools -> Add-ons -> Check for Updates on my FF31.0 with 
HTTPSE 3.5.3 installed, and it finds no updates. Do you need to 
flush the cache?