Armok_GoB comments on Musk, Mars and x-risk