[HTTPS-Everywhere] A new release for Tor Project

[Victor Garin]

Maybe Peter is waiting for all the false positive reports to land in
Git for 1.0.2 release or to be responded in the mailing list before
releasing the Dev version?

For example:
https://mail1.eff.org/pipermail/https-everywhere/2011-August/001077.html
where it says radioshack.com needs to be disabled.

Well the false positive reports are in the Main mailing list and the
rule lists also.

PS. The latest Dev version (v.5) never automatically updated to the
Final version 1.0.0 or 1.0.1