Martin Sustrik comments on Recent updates to gwern.net (2017–2019)