Commits
Merge pull request #2082 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop_minor to develop * commit 'bbd4f7d2a0bea8f984868e2bf88dd1c5f5aa35e8': Minor tweaks noticed while going over VOL documentation.
Merge pull request #2082 in HDFFV/hdf5 from ~DEROBINS/hdf5_der:develop_minor to develop * commit 'bbd4f7d2a0bea8f984868e2bf88dd1c5f5aa35e8': Minor tweaks noticed while going over VOL documentation.