[tbb-commits] [torbutton/master] Bug 14100: Add option to hide NetworkSettings