Gavin comments on The Case for Space: A Longtermist Alternative to Existential Threat Reduction

[Gavin]

Some more prior art, on Earth vs off-world “lifeboats”. See also 4.2 here for a model of mining Mercury (for solar panels, not habitats).