===> Cleaning for tex-pdftools-doc-0.82