Robot, heal thyself: Dextre becomes the first robot to repair itself in ...