These files are kind of the whole point...