Terraforming other planets would be astronomically more challenging than fixing our own planet and we don’t seem to be able to get our shit together to do that. Even if we are capable of terraforming other planets, it would take many centuries at minimum. O’Neal cylinders are far more likely to work once we start industrializing the moon.