ThisSpaceAvailable comments on Approximating Solomonoff Induction