Re: [tor-dev] tor's definition of 'median'