[tor-commits] [tor-launcher/master] Bug 25509: Improve the proxy help text.