[mikorym]

I think the point of the post is 1) it's new and 2) it's a recollection by an older mathematician. These are always valuable and would be lost if not told, despite any other sources or stories already available.