Re: [tor-dev] descriptor sync finished event after disabling UseMicrodescritors