Update documentation as dump files have been renamed