Update documentation for the dump format and options.