mmm, good question. We should delete the files, but it doesn't hurt to double-check here that we do the right thing.