ProgramCrafter comments on “Which chains-of-thought was that faster than?”