doc: document -dump_separator