MarsColony_in10years comments on Reducing Catastrophic Risks, A Practical Introduction