Interesting link. I would think step 7 would come before step 6 though. I thought about this for a few minutes and can't come with a reason otherwise.

The timelines are increasing powers of 2. It’ll take much longer to colonize all asteroids than to settle Mars.