Stop Using PDFs for Training Tools and What to Use Instead