gwern comments on The Importance of Goodhart’s Law