Having those in .gitignore removes clutter at `git status`, and prevents
accidental inclusion in commits.