Manpages of libhdf4-alt-dev in Debian testing