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