gwern comments on shortplav

[gwern]

You’re right that the full story still has never been publicly reported.