private_messaging comments on Understanding and justifying Solomonoff induction