#9 remove PDFlib from documentation and devbox configuration