paulfchristiano comments on Does Solomonoff always win?