Lech Mazur comments on Revisiting algorithmic progress