gwern comments on SI’s Summer 2012 Matching Drive Ends July 31st