Re: [tor-dev] tor-dev Digest, Vol 40, Issue 37