Which Tools Do You Really Need to Edit PDFs?