Today, October 24, 2020, would have been Judy Angel’s 80th birthday. The name “Judy Angel” is probably not one that many modern punters are familiar with. But in fact she helped p…