[tor-commits] [torflow/master] 4077 remove UseMicrodescriptors from torrc