Re: [tor-dev] tor-dev Digest, Vol 80, Issue 10