PaulS comments on Musk, Mars and x-risk