gwern comments on Simultaneous Redundant Research