doc: how to dump the database