Manpages of libopenhpi2 in Debian wheezy