My branch of the HTTPS Everywhere repo that currently lives at git.torproject.org. - View it on GitHub