clone of https://git.torproject.org/https-everywhere.git