Commits
Merge pull request #2483 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop_minor to develop * commit 'b1533616f28996983ec505fff8f62edf3dd820b3': Minor renaming in the tools code.
Merge pull request #2483 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop_minor to develop * commit 'b1533616f28996983ec505fff8f62edf3dd820b3': Minor renaming in the tools code.