Rob Bensinger comments on The Problem with AIXI