Manpages of nictools-pci in Debian testing