The clone of the HTTPS Everywhere repository at https://gitweb.torproject.org/https-everywhere.git.