jacob_drori comments on The Coding Theorem — A Link between Complexity and Probability