Personal development fork of https://gitweb.torproject.org/torbutton.git