gwern comments on “AIXIjs: A Software Demo for General Reinforcement Learning”, Aslanides 2017