Manpages of hdf4-tools in Debian buster