Leon Lang comments on A Technical Introduction to Solomonoff Induction without K-Complexity