Wasn’t there an old Nova episode about this on PBS? I vaguely recall it, and have always wanted to rewatch as an adult. Just a fantastic (real!) story.