[tor-commits] [tor-launcher/master] Bug #10418: Provide "Use Default Bridges" option.