> was pushing the envelope of "interplanetary" travel/species

I don't think they were. All the Mars stuff is just dressed up version of The Boring Company - a distraction by Elon to better position his other interests.

There's no money in going to Mars and there's no reason to, from a financial perspective, and Elon doesn't care about anything beyond wealth and power.