On: Four Mars missions are launching next year

[LeifCarrotson]

I thought the typical Martian ISRU called for heating soil to extract water vapor and using the hydrogen in that to make fuel. Oxygen is still interesting, for sure, but that robotic mining sounds a lot more difficult.

[Robotbeat → LeifCarrotson]

The carbon monoxide can also be used as rocket fuel. Not commonly considered, but it'd simplify a lot of things.