gwern comments on EfficientZero: How It Works