TheOtherDave comments on Existential Risk