Have any comments about PDFTools?
We welcome any bug reports!