ProgramCrafter comments on A computational complexity argument for many worlds