Re: [tor-dev] Need to know if this is a bug