timtyler comments on An additional problem with Solomonoff induction