Adele Lopez comments on The Problem with AIXI