When we eventually mine asteroids, humans and robots will not leave unprotected microbes on the surface. Instead, machines ...