gwern comments on Andrew Burns’s Shortform