“ Astronaut Alan Shepard acknowledged that NASA used the autopen machine to signal the astronauts' voluminous correspondence. ”