Extremely unofficial mirror of HDF5 releases