gwern comments on Recent updates to gwern.net (2015-2016)