Only took about 10,000 years to reach the average height of hunter gatherers through agriculture.