[tor-commits] [torflow/master] Bug #4077: Remove UseMicrodescriptors.