[tbb-commits] [torbutton/master] Bug 16917: Allow users to more easily set a non-tor SSH proxy.