Manfred comments on Mathematics for AIXI and Gödel machine