What Are the Features of a PDF Editor?