Cleanup: add some leftover files to the repo.