MrMind comments on An additional problem with Solomonoff induction