Editor for manipulating existing PDF documents