Is dump supposed to write back out to the `.txt` file somewhere?