Manpages of src:pxlib in Debian jessie