Pdf-tools or pdf-xchange editor