Generated, but useful to have in git.