gwern comments on Instrumental Convergence Bounty