Re: [tor-dev] DEFAULT_ROUTE_LEN [was: Silly (or not so silly) question]