private_messaging comments on An additional problem with Solomonoff induction