Oh by the way. She did not shrink the human population grew. With better diet and natural selection from breeding humans average height has increased by iirc almost a foot from medieval times. For instance George Washington was a little over 6 feet tall and was considered a giant. Most men were around 5'6" during that time. Heck even japan had a height boom after American occupation and the introduction of milk and other nutrition changes into the diet.