Re: [tor-dev] Code review request for bug #9701