[tor-commits] [tor/master] reach back in time and name a config option correctly