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