[tor-commits] [torbutton/master] Bug 28075: Tone down missing SOCKS credential warning