This .gitignore is superfluous here.