Re: [tor-dev] updated two tor-spec proposals