Comment by andor436

[edit: already answered in the parent thread!]

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.