[skorgu]

At least for the comet pusher, the tech needed to put a non-trivial number of humans on Mars has a ton of overlap with the tech needed to divert potential impacts.