On May 22nd, a stationary robot on Mars used its arm to scoop up some Martian sand. It then slowly dumped it onto itself, with the brisk Mars wind snatching the tiny grains and whipping them against the machine’s solar panels. The robot was NASA’s InSight Mars lander, and the sand dump wasn’t a mistake. …