This gitignore can get removed entirely, I think.