> *ahem* Orbot represents 2 million users of jtorctl, and it works just > fine for us (in our limited use of it). > > https://gitweb.torproject.org/orbot.git/tree/HEAD:/external Yay, sounds like we found a new owner for JTorCtl! ;) Nathan, should Michael go ahead and file his pull request with the Orbot component then?