My branch of the HTTPS Everywhere repo that currently lives at git.torproject.org.