For sure there have been other threads about this on HN but I can't find them at the moment.
Edit: never mind, I found it - from 10 months ago: https://news.ycombinator.com/item?id=21167683. There's some question about how much of the story was embellished or distorted after the fact, especially because decades went by before some of the interviews about it. But there's at least one contemporaneous source.
Edit: never mind, I found it - from 10 months ago: https://news.ycombinator.com/item?id=21167683. There's some question about how much of the story was embellished or distorted after the fact, especially because decades went by before some of the interviews about it. But there's at least one contemporaneous source.