instructions for editing PDF files