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