gwern comments on Existential Risk