on the other hand, if we don't do this, we get unusably-large dumps of text that aren't relevant