Ben Pace comments on Better Rationality Through Lucid Dreaming