[tor-dev] updated two tor-spec proposals