Ben Pace comments on “What Progress?” Gwern’s 10 year retrospective