I agree with everything you've said. I would add one caveat. We haven't really tried to terraform, with realistic amounts of resource applied. You'd need a significant amount of resources to actually attempt remediation. Resources equivalent to a significant percentage of worldwide military expenditure for 5-10 years.

You'd need a world government.