Re: [tor-dev] tor-dev Digest, Vol 47, Issue 3