Using PDFs to Distribute Technical Documentation: Do's and Don'ts