Eliminate the HDF4 page

https://support.hdfgroup.org/hdf4/

- Preferrably delete, as it's an orphan and doesn't have a parallel for HDF5 on the site. It's more or less duplicated on the www.
- If for some reason we keep it, change/remove the portal reference.