Manpages of libopenhpi3 in Debian unstable