NASA's Jet Propulsion Laboratory and DARPA want to fix your PDFs. Here's how.