gwern comments on Recent updates to gwern.net (2012-2013)